Skip to content

Commit cc6730f

Browse files
committed
set notation
1 parent fb81456 commit cc6730f

File tree

1 file changed

+24
-2
lines changed

1 file changed

+24
-2
lines changed

LatexFrac.g4

+24-2
Original file line numberDiff line numberDiff line change
@@ -149,11 +149,33 @@ SETNOTATION:
149149
|'\\C'
150150
|'\\in'
151151
|'\\notin'
152-
|'\\ni'
153-
|'\\subset'
154152
|'\\cup'
155153
|'\\cap'
156154
|'\\setminus'
155+
|'\\exists'
156+
|'\\rightarrow'
157+
|'\\to'
158+
|'\\nexists'
159+
|'\\leftarrow'
160+
|'\\forall'
161+
|'\\mapsto'
162+
|'\\neg'
163+
|'\\implies'
164+
|'\\subset'
165+
|'\\impliedby'
166+
|'\\supset'
167+
|'\\Rightarrow'
168+
|'\\leftrightarrow'
169+
|'\\iff'
170+
|'\\ni'
171+
|'\\Leftrightarrow'
172+
|'\\land'
173+
|'\\top'
174+
|'\\lor'
175+
|'\\bot'
176+
|'\\angle'
177+
|'\\varnothing'
178+
|'\\emptyset'
157179
;
158180

159181

0 commit comments

Comments
 (0)