Commit e0637f8 1 parent cc6730f commit e0637f8 Copy full SHA for e0637f8
File tree 1 file changed +5
-17
lines changed
1 file changed +5
-17
lines changed Original file line number Diff line number Diff line change @@ -178,7 +178,11 @@ SETNOTATION:
178
178
|' \\ emptyset'
179
179
;
180
180
181
-
181
+ IGNORE :
182
+ ( ' \\ vrule' |' \\ quad' | ' \\ hfil' | ' \\ quad' | ' \\ vcenter' | ' \\ vbox' | ' \\ vskip' | ' \\ vspace'
183
+ | ' \\ left' |' \\ right' | ' \\ *' | ' \\ ,' | ' \\ -' | ' \\ .' | ' \\ /' | ' \\ ;' | ' \\ !' | ' \\ "' | ' \\ ('
184
+ | ' \\ ,' | ' \\ -' | ' \\ .' | ' \\ :' | ' \\ ='
185
+ ) -> skip;
182
186
183
187
/* *
184
188
@@ -272,13 +276,6 @@ LBRAC:
272
276
\dota
273
277
\doteq
274
278
\ell
275
-
276
-
277
- \emptyset
278
- \setminus
279
-
280
-
281
-
282
279
\equiv
283
280
\exists
284
281
\exp
@@ -332,7 +329,6 @@ LBRAC:
332
329
\longmapsto
333
330
\Longrightarrow
334
331
\lor
335
- \mapsto
336
332
\max
337
333
\mho
338
334
\mid
@@ -349,12 +345,10 @@ LBRAC:
349
345
\ni
350
346
\not=
351
347
\notin
352
- \nu
353
348
\nwarrow
354
349
\odot
355
350
\oint
356
351
\omega
357
- \Omega
358
352
\ominus
359
353
\oplus
360
354
\oslash
@@ -363,15 +357,10 @@ LBRAC:
363
357
\parallel
364
358
\partial
365
359
\perp
366
- \Pi
367
360
\Pr
368
-
369
361
relation:
370
362
\prec
371
363
\preceq
372
-
373
-
374
-
375
364
\prime
376
365
\prod
377
366
\propto
@@ -400,7 +389,6 @@ relation:
400
389
\sqsupset
401
390
\sqsupseteq
402
391
\star
403
- \subset
404
392
\subseteq
405
393
\succ
406
394
\succeq
You can’t perform that action at this time.
0 commit comments