Mercurial Mercurial > hg > lexing / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
thys2/Journal/isabellesym.sty
changeset 382 aef235b965bb
parent 369 e00950ba4514
equal deleted inserted replaced
381:0c666a0c57d7 382:aef235b965bb 
   148 \newcommand{\isasymSigma}{\isamath{\Sigma}}
 
   148 \newcommand{\isasymSigma}{\isamath{\Sigma}}
 
   149 \newcommand{\isasymUpsilon}{\isamath{\Upsilon}}
 
   149 \newcommand{\isasymUpsilon}{\isamath{\Upsilon}}
 
   150 \newcommand{\isasymPhi}{\isamath{\Phi}}
 
   150 \newcommand{\isasymPhi}{\isamath{\Phi}}
 
   151 \newcommand{\isasymPsi}{\isamath{\Psi}}
 
   151 \newcommand{\isasymPsi}{\isamath{\Psi}}
 
   152 \newcommand{\isasymOmega}{\isamath{\Omega}}
 
   152 \newcommand{\isasymOmega}{\isamath{\Omega}}
 
   153 \newcommand{\isasymbool}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{B}}}
 
   153 \newcommand{\isasymbbbA}{\isamath{\bbbA}}  %requires font txmia from txfonts
 
   154 \newcommand{\isasymcomplex}{\isamath{\mathrm{C}\mkern-15mu{\phantom{\mathrm{t}}\vrule}\mkern9mu}}
 
   154 \newcommand{\isasymbool}{\isamath{\bbbB}}  %requires font txmia from txfonts
 
   155 \newcommand{\isasymnat}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{N}}}
 
   155 \newcommand{\isasymcomplex}{\isamath{\bbbC}}  %requires font txmia from txfonts
 
   156 \newcommand{\isasymrat}{\isamath{\mathrm{Q}\mkern-16mu{\phantom{\mathrm{t}}\vrule}\mkern10mu}}
 
   156 \newcommand{\isasymbbbD}{\isamath{\bbbD}}  %requires font txmia from txfonts
 
   157 \newcommand{\isasymreal}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{R}}}
 
   157 \newcommand{\isasymbbbE}{\isamath{\bbbE}}  %requires font txmia from txfonts
 
   158 \newcommand{\isasymint}{\isamath{\mathsf{Z}\mkern-7.5mu\mathsf{Z}}}
 
   158 \newcommand{\isasymbbbF}{\isamath{\bbbF}}  %requires font txmia from txfonts
 
       
   159 \newcommand{\isasymbbbG}{\isamath{\bbbG}}  %requires font txmia from txfonts
 
       
   160 \newcommand{\isasymbbbH}{\isamath{\bbbH}}  %requires font txmia from txfonts
 
       
   161 \newcommand{\isasymbbbI}{\isamath{\bbbI}}  %requires font txmia from txfonts
 
       
   162 \newcommand{\isasymbbbJ}{\isamath{\bbbJ}}  %requires font txmia from txfonts
 
       
   163 \newcommand{\isasymbbbK}{\isamath{\bbbK}}  %requires font txmia from txfonts
 
       
   164 \newcommand{\isasymbbbL}{\isamath{\bbbL}}  %requires font txmia from txfonts
 
       
   165 \newcommand{\isasymbbbM}{\isamath{\bbbM}}  %requires font txmia from txfonts
 
       
   166 \newcommand{\isasymnat}{\isamath{\bbbN}}  %requires font txmia from txfonts
 
       
   167 \newcommand{\isasymbbbO}{\isamath{\bbbO}}  %requires font txmia from txfonts
 
       
   168 \newcommand{\isasymbbbP}{\isamath{\bbbP}}  %requires font txmia from txfonts
 
       
   169 \newcommand{\isasymrat}{\isamath{\bbbQ}}  %requires font txmia from txfonts
 
       
   170 \newcommand{\isasymreal}{\isamath{\bbbR}}  %requires font txmia from txfonts
 
       
   171 \newcommand{\isasymbbbS}{\isamath{\bbbS}}  %requires font txmia from txfonts
 
       
   172 \newcommand{\isasymbbbT}{\isamath{\bbbT}}  %requires font txmia from txfonts
 
       
   173 \newcommand{\isasymbbbU}{\isamath{\bbbU}}  %requires font txmia from txfonts
 
       
   174 \newcommand{\isasymbbbV}{\isamath{\bbbV}}  %requires font txmia from txfonts
 
       
   175 \newcommand{\isasymbbbW}{\isamath{\bbbW}}  %requires font txmia from txfonts
 
       
   176 \newcommand{\isasymbbbX}{\isamath{\bbbX}}  %requires font txmia from txfonts
 
       
   177 \newcommand{\isasymbbbY}{\isamath{\bbbY}}  %requires font txmia from txfonts
 
       
   178 \newcommand{\isasymint}{\isamath{\bbbZ}}  %requires font txmia from txfonts
 
   159 \newcommand{\isasymleftarrow}{\isamath{\leftarrow}}
 
   179 \newcommand{\isasymleftarrow}{\isamath{\leftarrow}}
 
   160 \newcommand{\isasymrightarrow}{\isamath{\rightarrow}}
 
   180 \newcommand{\isasymrightarrow}{\isamath{\rightarrow}}
 
   161 \newcommand{\isasymlongleftarrow}{\isamath{\longleftarrow}}
 
   181 \newcommand{\isasymlongleftarrow}{\isamath{\longleftarrow}}
 
   162 \newcommand{\isasymlongrightarrow}{\isamath{\longrightarrow}}
 
   182 \newcommand{\isasymlongrightarrow}{\isamath{\longrightarrow}}
 
   163 \newcommand{\isasymlonglongleftarrow}{\isamath{\xleftarrow{\hphantom{AAA}}}}  %requires amsmath
 
   183 \newcommand{\isasymlonglongleftarrow}{\isamath{\xleftarrow{\hphantom{AAA}}}}  %requires amsmath
 
   204 \newcommand{\isasymrrangle}{\isamath{\rangle\mskip-5mu\rangle}}
 
   224 \newcommand{\isasymrrangle}{\isamath{\rangle\mskip-5mu\rangle}}
 
   205 \newcommand{\isasymlceil}{\isamath{\lceil}}
 
   225 \newcommand{\isasymlceil}{\isamath{\lceil}}
 
   206 \newcommand{\isasymrceil}{\isamath{\rceil}}
 
   226 \newcommand{\isasymrceil}{\isamath{\rceil}}
 
   207 \newcommand{\isasymlfloor}{\isamath{\lfloor}}
 
   227 \newcommand{\isasymlfloor}{\isamath{\lfloor}}
 
   208 \newcommand{\isasymrfloor}{\isamath{\rfloor}}
 
   228 \newcommand{\isasymrfloor}{\isamath{\rfloor}}
 
   209 \newcommand{\isasymlparr}{\isamath{\mathopen{(\mkern-3mu\mid}}}
 
   229 \newcommand{\isasymlparr}{\isamath{\mathopen{(\mkern-3.3mu\mid}}}
 
   210 \newcommand{\isasymrparr}{\isamath{\mathclose{\mid\mkern-3mu)}}}
 
   230 \newcommand{\isasymrparr}{\isamath{\mathclose{\mid\mkern-3.3mu)}}}
 
   211 \newcommand{\isasymlbrakk}{\isamath{\mathopen{\lbrack\mkern-3mu\lbrack}}}
 
   231 \newcommand{\isasymlbrakk}{\isamath{\mathopen{\lbrack\mkern-3mu\lbrack}}}
 
   212 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
 
   232 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
 
   213 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
 
   233 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.3mu\mid}}}
 
   214 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
 
   234 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.3mu\rbrace}}}
 
   215 \newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
 
   235 \newcommand{\isasymlblot}{\isamath{{\langle}\mkern -3.5mu{|}}}
 
   216 \newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
 
   236 \newcommand{\isasymrblot}{\isamath{{|}\mkern -3.5mu{\rangle}}}
 
       
   237 \newcommand{\isasymguillemotleft}{\isatext{\guillemotleft}}
 
       
   238 \newcommand{\isasymguillemotright}{\isatext{\guillemotright}}
 
   217 \newcommand{\isasymbottom}{\isamath{\bot}}
 
   239 \newcommand{\isasymbottom}{\isamath{\bot}}
 
   218 \newcommand{\isasymtop}{\isamath{\top}}
 
   240 \newcommand{\isasymtop}{\isamath{\top}}
 
   219 \newcommand{\isasymand}{\isamath{\wedge}}
 
   241 \newcommand{\isasymand}{\isamath{\wedge}}
 
   220 \newcommand{\isasymAnd}{\isamath{\bigwedge}}
 
   242 \newcommand{\isasymAnd}{\isamath{\bigwedge}}
 
   221 \newcommand{\isasymor}{\isamath{\vee}}
 
   243 \newcommand{\isasymor}{\isamath{\vee}}
 
   279 \newcommand{\isasymprec}{\isamath{\prec}}
 
   301 \newcommand{\isasymprec}{\isamath{\prec}}
 
   280 \newcommand{\isasymsucc}{\isamath{\succ}}
 
   302 \newcommand{\isasymsucc}{\isamath{\succ}}
 
   281 \newcommand{\isasympreceq}{\isamath{\preceq}}
 
   303 \newcommand{\isasympreceq}{\isamath{\preceq}}
 
   282 \newcommand{\isasymsucceq}{\isamath{\succeq}}
 
   304 \newcommand{\isasymsucceq}{\isamath{\succeq}}
 
   283 \newcommand{\isasymparallel}{\isamath{\parallel}}
 
   305 \newcommand{\isasymparallel}{\isamath{\parallel}}
 
       
   306 \newcommand{\isasymParallel}{\isamath{\bigparallel}}  %requires stmaryrd
 
       
   307 \newcommand{\isasyminterleace}{\isamath{\interleave}}  %requires stmaryrd
 
       
   308 \newcommand{\isasymsslash}{\isamath{\sslash}}  %requires stmaryrd
 
   284 \newcommand{\isasymbar}{\isamath{\mid}}
 
   309 \newcommand{\isasymbar}{\isamath{\mid}}
 
   285 \newcommand{\isasymbbar}{\isamath{[\mskip-1.5mu]}}
 
   310 \newcommand{\isasymbbar}{\isamath{[\mskip-1.5mu]}}
 
   286 \newcommand{\isasymplusminus}{\isamath{\pm}}
 
   311 \newcommand{\isasymplusminus}{\isamath{\pm}}
 
   287 \newcommand{\isasymminusplus}{\isamath{\mp}}
 
   312 \newcommand{\isasymminusplus}{\isamath{\mp}}
 
   288 \newcommand{\isasymtimes}{\isamath{\times}}
 
   313 \newcommand{\isasymtimes}{\isamath{\times}}
 
   362 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 
   387 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 
   363 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
 
   388 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
 
   364 \newcommand{\isasymsome}{\isamath{\epsilon\,}}
 
   389 \newcommand{\isasymsome}{\isamath{\epsilon\,}}
 
   365 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
 
   390 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
 
   366 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
 
   391 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
 
   367 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
 
   392 
   368 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
 
   393 %Z notation
 
       
   394 \newcommand{\isaZhbar}[1]{\rlap{\raise.0001ex\hbox{\isamath{-}}}#1}
 
       
   395 \newcommand{\isaZpvbar}[1]{\ooalign{\hfil\isamath{\mapstochar\mkern 5mu}\hfil\cr#1}}
 
       
   396 \newcommand{\isaZfvbar}[1]{\ooalign{\hfil\isamath{\mapstochar\mkern 3mu\mapstochar\mkern 5mu}\hfil\cr#1}}
 
       
   397 \newcommand{\isaZdarrow}[3]{\ooalign{\isamath{#1}\hfil\cr\isamath{\mkern#3mu\isamath{#2}}}}
 
       
   398 \newcommand{\isasymZcomp}{\isamath{\fatsemi}}  %requires stmaryrd
 
       
   399 \newcommand{\isasymZinj}{\isamath{\rightarrowtail}}  %requires amssymb
 
       
   400 \newcommand{\isasymZpinj}{\isaZpvbar{\isamath{\rightarrowtail}}}  %requires amssymb
 
       
   401 \newcommand{\isasymZfinj}{\isaZfvbar{\isasymZinj}}  %requires amssymb
 
       
   402 \newcommand{\isasymZsurj}{\isaZdarrow{\rightarrow}{\rightarrow}{4}}  %requires amssymb
 
       
   403 \newcommand{\isasymZpsurj}{\isaZpvbar{\isasymZsurj}}  %requires amssymb
 
       
   404 \newcommand{\isasymZbij}{\isaZdarrow{\rightarrowtail}{\rightarrow}{5}}  %requires amssymb
 
       
   405 \newcommand{\isasymZpfun}{\isaZpvbar{\isamath{\rightarrow}}}
 
       
   406 \newcommand{\isasymZffun}{\isaZfvbar{\isamath{\rightarrow}}}
 
       
   407 \newcommand{\isasymZdres}{\isamath{\lhd}}  %requires amssymb
 
       
   408 \newcommand{\isasymZndres}{\isaZhbar{\isamath{\lhd}}}  %requires amssymb
 
       
   409 \newcommand{\isasymZrres}{\isamath{\rhd}}  %requires amssymb
 
       
   410 \newcommand{\isasymZnrres}{\isaZhbar{\isamath{\rhd}}}  %requires amssymb
 
       
   411 \newcommand{\isasymZspot}{\isamath{\bullet}}
 
       
   412 \newcommand{\isasymZproject}{\isamath{\upharpoonright}}  %requires amssymb
 
       
   413 \newcommand{\isasymZsemi}{\isatext{\raise 0.66ex\hbox{\oalign{\hfil\isamath{\scriptscriptstyle\mathrm{o}}\hfil\cr\hfil\isamath{\scriptscriptstyle\mathrm{9}}\hfil}}}}
 
       
   414 \newcommand{\isasymZtypecolon}{\isatext{\raise 0.6ex\hbox{\oalign{\hfil\isamath{\scriptscriptstyle\mathrm{o}}\hfil\cr\hfil\isamath{\scriptscriptstyle\mathrm{o}}\hfil}}}}
 
       
   415 \newcommand{\isasymZhide}{\isamath{\backslash}}
 
       
   416 \newcommand{\isasymZcat}{\isatext{\raise 0.8ex\hbox{\isamath{\mathchar\frown}}}}
 
       
   417 \newcommand{\isasymZinbag}{\isatext{\ooalign{\isamath{\sqsubset\mkern-1mu}\cr\isamath{-\mkern-1mu}\cr}}}
 
       
   418 
   369 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}}  %requires wasysym
 
   419 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}}  %requires wasysym
 
   370 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
 
   420 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
 
   371 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
 
   421 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
 
   372 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
 
   422 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
 
   373 
   423 \newcommand{\isasymopen}{\isatext{\guilsinglleft}}
 
       
   424 \newcommand{\isasymclose}{\isatext{\guilsinglright}}
 
       
   425 \newcommand{\isasymcheckmark}{\isatext{\ding{51}}}  %requires pifont
 
       
   426 \newcommand{\isasymcrossmark}{\isatext{\ding{55}}}  %requires pifont
 
   374 \newcommand{\isactrlmarker}{\isatext{\ding{48}}}  %requires pifont
 
   427 \newcommand{\isactrlmarker}{\isatext{\ding{48}}}  %requires pifont
 
       
   428 \newcommand{\isactrltry}{\isakeywordcontrol{try}}
 
       
   429 \newcommand{\isactrlcan}{\isakeywordcontrol{can}}
 
   375 \newcommand{\isactrlassert}{\isakeywordcontrol{assert}}
 
   430 \newcommand{\isactrlassert}{\isakeywordcontrol{assert}}
 
   376 \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}}
 
   431 \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}}
 
   377 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}
 
   432 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}
 
   378 \newcommand{\isactrlclass}{\isakeywordcontrol{class}}
 
   433 \newcommand{\isactrlclass}{\isakeywordcontrol{class}}
 
   379 \newcommand{\isactrlclassUNDERSCOREsyntax}{\isakeywordcontrol{class{\isacharunderscore}syntax}}
 
   434 \newcommand{\isactrlclassUNDERSCOREsyntax}{\isakeywordcontrol{class{\isacharunderscore}syntax}}
 
   387 \newcommand{\isactrlcterm}{\isakeywordcontrol{cterm}}
 
   442 \newcommand{\isactrlcterm}{\isakeywordcontrol{cterm}}
 
   388 \newcommand{\isactrlctyp}{\isakeywordcontrol{ctyp}}
 
   443 \newcommand{\isactrlctyp}{\isakeywordcontrol{ctyp}}
 
   389 \newcommand{\isactrldir}{\isakeywordcontrol{dir}}
 
   444 \newcommand{\isactrldir}{\isakeywordcontrol{dir}}
 
   390 \newcommand{\isactrlfile}{\isakeywordcontrol{file}}
 
   445 \newcommand{\isactrlfile}{\isakeywordcontrol{file}}
 
   391 \newcommand{\isactrlhere}{\isakeywordcontrol{here}}
 
   446 \newcommand{\isactrlhere}{\isakeywordcontrol{here}}
 
       
   447 \newcommand{\isactrlinstantiate}{\isakeywordcontrol{instantiate}}
 
   392 \newcommand{\isactrlkeyword}{\isakeywordcontrol{keyword}}
 
   448 \newcommand{\isactrlkeyword}{\isakeywordcontrol{keyword}}
 
   393 \newcommand{\isactrllatex}{\isakeywordcontrol{latex}}
 
   449 \newcommand{\isactrllatex}{\isakeywordcontrol{latex}}
 
   394 \newcommand{\isactrllocale}{\isakeywordcontrol{locale}}
 
   450 \newcommand{\isactrllocale}{\isakeywordcontrol{locale}}
 
       
   451 \newcommand{\isactrlmakeUNDERSCOREjudgment}{\isakeywordcontrol{make{\isacharunderscore}judgment}}
 
       
   452 \newcommand{\isactrldestUNDERSCOREjudgment}{\isakeywordcontrol{dest{\isacharunderscore}judgment}}
 
   395 \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}}
 
   453 \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}}
 
   396 \newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}}
 
   454 \newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}}
 
   397 \newcommand{\isactrlmethod}{\isakeywordcontrol{method}}
 
   455 \newcommand{\isactrlmethod}{\isakeywordcontrol{method}}
 
   398 \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}}
 
   456 \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}}
 
   399 \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}}
 
   457 \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}}
 
   418 \newcommand{\isactrltyp}{\isakeywordcontrol{typ}}
 
   476 \newcommand{\isactrltyp}{\isakeywordcontrol{typ}}
 
   419 \newcommand{\isactrltypeUNDERSCOREabbrev}{\isakeywordcontrol{type{\isacharunderscore}abbrev}}
 
   477 \newcommand{\isactrltypeUNDERSCOREabbrev}{\isakeywordcontrol{type{\isacharunderscore}abbrev}}
 
   420 \newcommand{\isactrltypeUNDERSCOREname}{\isakeywordcontrol{type{\isacharunderscore}name}}
 
   478 \newcommand{\isactrltypeUNDERSCOREname}{\isakeywordcontrol{type{\isacharunderscore}name}}
 
   421 \newcommand{\isactrltypeUNDERSCOREsyntax}{\isakeywordcontrol{type{\isacharunderscore}syntax}}
 
   479 \newcommand{\isactrltypeUNDERSCOREsyntax}{\isakeywordcontrol{type{\isacharunderscore}syntax}}
 
   422 \newcommand{\isactrlundefined}{\isakeywordcontrol{undefined}}
 
   480 \newcommand{\isactrlundefined}{\isakeywordcontrol{undefined}}
 
       
   481 \newcommand{\isactrltvar}{\isakeywordcontrol{tvar}}
 
       
   482 \newcommand{\isactrlvar}{\isakeywordcontrol{var}}
 
       
   483 \newcommand{\isactrlConst}{\isakeywordcontrol{Const}}
 
       
   484 \newcommand{\isactrlConstUNDERSCORE}{\isakeywordcontrol{Const{\isacharunderscore}}}
 
       
   485 \newcommand{\isactrlConstUNDERSCOREfn}{\isakeywordcontrol{Const{\isacharunderscore}fn}}
 
       
   486 \newcommand{\isactrlType}{\isakeywordcontrol{Type}}
 
       
   487 \newcommand{\isactrlTypeUNDERSCOREfn}{\isakeywordcontrol{Type{\isacharunderscore}fn}}
 
   423 
   488 
   424 \newcommand{\isactrlcode}{\isakeywordcontrol{code}}
 
   489 \newcommand{\isactrlcode}{\isakeywordcontrol{code}}
 
   425 \newcommand{\isactrlcomputation}{\isakeywordcontrol{computation}}
 
   490 \newcommand{\isactrlcomputation}{\isakeywordcontrol{computation}}
 
   426 \newcommand{\isactrlcomputationUNDERSCOREconv}{\isakeywordcontrol{computation{\isacharunderscore}conv}}
 
   491 \newcommand{\isactrlcomputationUNDERSCOREconv}{\isakeywordcontrol{computation{\isacharunderscore}conv}}
 
   427 \newcommand{\isactrlcomputationUNDERSCOREcheck}{\isakeywordcontrol{computation{\isacharunderscore}check}}
 
   492 \newcommand{\isactrlcomputationUNDERSCOREcheck}{\isakeywordcontrol{computation{\isacharunderscore}check}}
 
       
   493 \newcommand{\isactrlifUNDERSCORElinux}{\isakeywordcontrol{if{\isacharunderscore}linux}}
 
       
   494 \newcommand{\isactrlifUNDERSCOREmacos}{\isakeywordcontrol{if{\isacharunderscore}macos}}
 
       
   495 \newcommand{\isactrlifUNDERSCOREwindows}{\isakeywordcontrol{if{\isacharunderscore}windows}}
 
       
   496 \newcommand{\isactrlifUNDERSCOREunix}{\isakeywordcontrol{if{\isacharunderscore}unix}}
lexing