diff options
| author | Camil Staps | 2016-02-28 22:50:58 +0100 |
|---|---|---|
| committer | Camil Staps | 2016-02-28 22:50:58 +0100 |
| commit | 9efbbb8cfd17eda43bcec6e4e69dca7d12f26435 (patch) | |
| tree | be4e3be68f4d6eae7c96a8e0b1384ad0878d969a /sv.sty | |
| parent | Assignment 3 (diff) | |
Assignment 4
Diffstat (limited to 'sv.sty')
| -rw-r--r-- | sv.sty | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -40,3 +40,8 @@ \let\next\Circle +\let\eval\Downarrow +\def\mlif#1#2#3{\mathbf{if}\;#1\;#2\;#3} +\def\mllet#1#2#3{\mathbf{let}\;\mathit{#1}=#2\;\mathbf{in}\;#3} +\def\Bool{\mathbf{Bool}} + |