Grammar: parenthesis type matching #5
Description
Currently as far as the parser is concerned, (, { and [ and their counterparts are all equivalent and may be used interchangeably anywhere. For example, this is valid according to the current parser implementation:
~(p ≡ [q ∨ r)]
While the semantic result will be as expected (different parentheses types affect readability only and have no semantic meaning), it is clearly weird and may indicate an unintentional typo made by the user.