3 files changed, 4 insertions, 7 deletions
diff --git a/docs/index.html b/docs/index.html
index 4b5bc6e..e8f807f 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -108,13 +108,9 @@ hello world!</pre
       <div class="right">
         <pre class="code">
 <span class="repl">></span> <span class="symbol">length</span> <span class="meta">`</span><span class="symbol">factorial</span>
-<span class="repl">></span> <span class="mixfix">!</span><span class="left-app">(</span><span class="symbol">swap</span> <span class="meta">`</span><span class="left-app">(</span><span class="unary">(+2u)</span> <span class="unary">(+3u)</span><span class="right-app">))</span>
+<span class="repl">></span> <span class="prefix">!</span><span class="left-app">(</span><span class="symbol">swap</span> <span class="meta">`</span><span class="left-app">(</span><span class="unary">(+2u)</span> <span class="unary">(+3u)</span><span class="right-app">))</span>
 <span class="repl">></span> <span class="symbol">lhs</span> <span class="left-app">(</span><span class="symbol">blc→meta</span> <span class="string">"010000100000110"</span><span class="right-app">)</span></span>
 </pre>
-        <!-- <span class="repl">></span> <span class="mixfix">∏</span> <span class="ternary">(+1)</span> <span class="mixfix">→</span> <span class="ternary">(+3)</span> <span class="mixfix">|</span> <span class="symbol">++‣</span> -->
-        <!-- <span class="repl">></span> <span class="symbol">number!</span> <span class="mixfix"><$></span> <span class="left-app">(</span><span class="symbol">lines</span> <span class="string">"42\n25"</span><span class="right-app">)</span> -->
-        <!-- <span class="repl">></span> <span class="term"><span class="symbol">sum</span> (<span class="symbol">take</span> <span class="ternary">(+3)</span> (<span class="symbol">repeat</span> <span class="ternary">(+4)</span>))</span> -->
-        <!-- <span class="repl">></span> <span class="binary">(+10b)</span> <span class="mixfix">⋀!</span> <span class="binary">(+12b)</span></pre> -->
       </div>
     </div>
 
diff --git a/docs/script.js b/docs/script.js
index 0b147f5..463badd 100644
--- a/docs/script.js
+++ b/docs/script.js
@@ -39,6 +39,7 @@ describe("left-abs", "The opening bracket of a function abstraction. It's basica
 describe("left-app", "The opening bracket of a function application.");
 describe("meta", "This is the quote operator. It converts any given expression to bruijn's meta encoding. The meta encoding can be used for self modification and can be turned back to normal bruijn code.");
 describe("mixfix", "This is a mixfix operator. They can be defined like …*… where the … can then be any other term. You can use them without the … as a notation of function application.");
+describe("prefix", "This is a prefix operator. They can be defined like *‣ where the ‣ can then be any other term.");
 describe("repl", "This indicates a REPL input.");
 describe("right-abs", "The closing bracket of a function abstraction.");
 describe("right-app", "The closing bracket of a function application.");
@@ -47,6 +48,6 @@ describe("string", "Syntactic sugar for a list of binary encoded chars.")
 describe("symbol", "This substitutes a previously defined term (for example from the standard library).");
 describe("ternary", "Syntactic sugar for a balanced ternary number representation using abstractions as data. Needs a sign and brackets to differentiate it from De Bruijn indices.");
 describe("time", "Incredibly fast for lambda calculus standards.");
-describe("unary", "Syntactic sugar for a unary number representation using abstractions as data. This is commonly also known as a Church numeral. Needs a sign and brackets to differentiate it from De Bruijn indices.");
+describe("unary", "Syntactic sugar for a unary number representation using abstractions as data. This is commonly known as a Church numeral. Needs a sign and brackets to differentiate it from De Bruijn indices.");
 
 document.body.addEventListener("click", clearPopups, true)
diff --git a/docs/style.css b/docs/style.css
index 60e8fe5..b23edad 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -188,7 +188,7 @@ a {
 	color: #b1ee13;
 }
 
-.code .mixfix {
+.code .mixfix, .code .prefix {
 	color: #eee513;
 }