week 1

1 files changed, 8 insertions, 0 deletions

diff --git a/sv.sty b/sv.sty
new file mode 100644
index 0000000..ed9dd0a
--- /dev/null
+++ b/sv.sty
@@ -0,0 +1,8 @@
+\RequirePackage{amssymb}
+
+\let\eventually\lozenge
+\let\always\square
+\def\until{\mathop{\mathsf U}}
+\let\next\bigcirc
+
+\let\then\Rightarrow