16 \newcommand{\isasymRightarrow}{\isamath{\Rightarrow}} |
16 \newcommand{\isasymRightarrow}{\isamath{\Rightarrow}} |
17 \newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}} |
17 \newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}} |
18 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}} |
18 \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}} |
19 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}} |
19 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}} |
20 \newcommand{\isasymequiv}{\isamath{\equiv}} |
20 \newcommand{\isasymequiv}{\isamath{\equiv}} |
|
21 \newcommand{\isasymsubseteq}{\isamath{\subseteq}} |
21 |
22 |
22 \railterm{percent,ppercent,underscore,lbrace,rbrace,atsign} |
23 \railterm{percent,ppercent,underscore,lbrace,rbrace,atsign} |
23 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword} |
24 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword} |
24 \railterm{name,nameref,text,type,term,prop,atom} |
25 \railterm{name,nameref,text,type,term,prop,atom} |
25 |
26 |