diff options
| author | Camil Staps | 2016-06-15 16:16:08 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-15 16:16:08 +0200 |
| commit | 7d1a43cddaf833504f570d03dcdca73ba2e954cf (patch) | |
| tree | 08ca2e0dc967d37c6342be80b7ccd1a9253f39c0 /clean.sty | |
| parent | Bewijs (diff) | |
Kleine wijzigingen
Diffstat (limited to 'clean.sty')
| -rw-r--r-- | clean.sty | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -35,7 +35,7 @@ {<=}{{$\leq$}}1 {>=}{{$\geq$}}1 {<>}{{$\neq$}}1 - {-->}{{$\Rightarrow$}}2 + {-->}{{\texttt{-->}}}3 {->}{{$\rightarrow$}}2 {<-}{{$\leftarrow$}}1 {=}{{$=$}}1 |