doc update

This commit is contained in:
minjaesong
2022-09-29 21:28:58 +09:00
parent e8d24fe720
commit 8eebf53b60
7 changed files with 103 additions and 136 deletions

View File

@@ -102,6 +102,7 @@
\newcommand\forceindent{\hskip1.5em}
%% BASIC operators %%
\newcommand\rs{\symbol{92}}
\newcommand\tildechar{{\large\raisebox{-0.22ex}{\char`\~}}}
\newcommand{\instbit}[1]{\mbox{\scriptsize #1}}
\newcommand{\instbitrange}[2]{~\instbit{#1} \hfill \instbit{#2}~}