Commit e954e38a authored by Sergey Goncharov's avatar Sergey Goncharov
Browse files

def. of eps

parent 9b250c7c
Pipeline #69112 passed with stage
in 25 seconds
...@@ -39,7 +39,7 @@ ...@@ -39,7 +39,7 @@
\def\Top{\catname{Top}} \def\Top{\catname{Top}}
% Misc % Misc
\providecommand{\eps}{\operatorname\epsilon} \providecommand{\eps}{{\operatorname\epsilon}}
\providecommand{\amp}{\mathbin{\&}} \providecommand{\amp}{\mathbin{\&}}
\providecommand{\from}{\leftarrow} \providecommand{\from}{\leftarrow}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment