Where the double dot represents the logical symbol ∧ , and its right operand consists of everything after it because it has priority over the single dots .
Where the logical dot represents the single symbol ∧ , and its double operand consists of everything after it because it has priority over the right dots .