File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 169169 r'\langle' : ('cmsy10' , 3 ),
170170 r'\rangle' : ('cmsy10' , 88 ),
171171 r'\mid' : ('cmsy10' , 47 ),
172+ r'\vert' : ('cmsy10' , 47 ),
172173 r'\Vert' : ('cmsy10' , 44 ),
173174 r'\updownarrow' : ('cmsy10' , 94 ),
174175 r'\Updownarrow' : ('cmsy10' , 53 ),
420421 r'\langle' : ( 'cmsy10' , '68' ),
421422 r'\rangle' : ( 'cmsy10' , '69' ),
422423 r'\mid' : ( 'cmsy10' , '6A' ),
424+ r'\vert' : ( 'cmsy10' , '6A' ),
423425 r'\Vert' : ( 'cmsy10' , '6B' ),
424426 r'\updownarrow' : ( 'cmsy10' , '6C' ),
425427 r'\Updownarrow' : ( 'cmsy10' , '6D' ),
Original file line number Diff line number Diff line change 102102 \subseteq \succ \succeq \sum \supset \supseteq \swarrow \tau \theta
103103 \times \top \triangleleft \triangleright \uparrow \updownarrow
104104 \uplus \upsilon \varepsilon \varphi \varphi \varrho \varsigma
105- \vartheta \vdash \vee \wedge \wp \wr \xi \zeta
105+ \vartheta \vdash \vee \vert \ wedge \wp \wr \xi \zeta
106106
107107
108108BACKENDS
You can’t perform that action at this time.
0 commit comments