-
Notifications
You must be signed in to change notification settings - Fork 0
/
LoF.tex
82 lines (63 loc) · 1.53 KB
/
LoF.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
\documentclass[12pt, letterpaper]{article}
\usepackage{amsmath}
\usepackage{bm}
\usepackage{titling}
\usepackage{mathtools}
\setlength{\droptitle}{-10em}
\title{The Laws of Form}
\author{George Spencer-Brown \thanks{\LaTeX{} notation by Izak Hudnik}}
\newcommand\CROSS[1]{%
\hbox{%
\vbox{
\hrule
\kern2pt
\hbox{$#1$ \strut \kern-5pt }
}%
\vrule
}\mskip\thickmuskip
}
\newcommand\CROSSALGEBRAIC[1]{%
\hbox{%
\vbox{
\hrule
\kern2pt
\hbox{\,\,\,$#1$ \! \strut}
}%
\vrule
}\mskip\thickmuskip
}
\newcommand\CROSSEMPTY[0]{%
\hbox{%
\vbox{
\hrule
\kern2pt
\hbox{ \, \, \! \! \strut}
}%
\vrule
}\mskip\thickmuskip
}
\begin{document}
\maketitle
\textbf{
\newline 1. The Law of Calling:\quad}
\( \CROSSEMPTY \CROSSEMPTY \)
\textbf{
\newline\newline 2. The Law of Crossing:\quad}
\( \CROSS{ \CROSSEMPTY } \)
\textbf{
\newline\newline 3. Arithmetic Expression:\quad}
\( \CROSS{ \CROSS{ \CROSSEMPTY \CROSSEMPTY } } \CROSS{\CROSSEMPTY} \)
\textbf{
\newline\newline 4. Algebraic Expression:\quad}
\( \CROSS{ \CROSSALGEBRAIC{ \CROSSALGEBRAIC{ \, b } \, \, a } } \)
\textbf{
\newline\newline 5. Self-referential expression:\quad}
\( f = \CROSSALGEBRAIC{f} \)
\textbf{
\newline\newline 5. Solve an expression:\quad}
\begin{align*}
\\ \CROSS{ \CROSS{ \CROSSEMPTY \CROSSEMPTY } } \CROSS{\CROSSEMPTY} &= \CROSS{ \CROSS{ \CROSSEMPTY } } \CROSS{\CROSSEMPTY} \\[3pt]
\\ &= \CROSSEMPTY \CROSS{\CROSSEMPTY} \\[3pt]
\\ &= \CROSSEMPTY \\[3pt]
\end{align*}
\end{document}