equal
deleted
inserted
replaced
21 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
21 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
22 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}} |
22 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}} |
23 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
23 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
24 \renewcommand{\isasymequiv}{$\dn$} |
24 \renewcommand{\isasymequiv}{$\dn$} |
25 %%\renewcommand{\isasymiota}{} |
25 %%\renewcommand{\isasymiota}{} |
|
26 \renewcommand{\isasymxi}{$\ldots$} |
26 \renewcommand{\isasymemptyset}{$\varnothing$} |
27 \renewcommand{\isasymemptyset}{$\varnothing$} |
27 \newcommand{\isasymnotapprox}{$\not\approx$} |
28 \newcommand{\isasymnotapprox}{$\not\approx$} |
28 \newcommand{\isasymLET}{$\mathtt{let}$} |
29 \newcommand{\isasymLET}{$\mathtt{let}$} |
29 \newcommand{\isasymAND}{$\mathtt{and}$} |
30 \newcommand{\isasymAND}{$\mathtt{and}$} |
30 \newcommand{\isasymIN}{$\mathtt{in}$} |
31 \newcommand{\isasymIN}{$\mathtt{in}$} |