From 970d10af517125fbea5317cb75d9e25c165972ee Mon Sep 17 00:00:00 2001 From: "Samuel W. Flint" Date: Fri, 9 Dec 2016 15:22:59 -0600 Subject: [PATCH] Wrote about OR --- larcs.org | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/larcs.org b/larcs.org index eb28e201d42a1b25a7d4fa7e9d300b3b58b957e8..931c3e72500c815ae9d9d952d8dbb8a9f4e6736a 100644 --- a/larcs.org +++ b/larcs.org @@ -2107,7 +2107,7 @@ As with numbers, variables are a relatively simple thing to format. If the vari (convert-for-display term)))) #+END_SRC -** WORKING Converter [1/7] +** WORKING Converter [2/7] :PROPERTIES: :CREATED: <2016-06-14 Tue 17:18> :ID: 88d433ad-e381-4747-8a29-2d78bc759fbf @@ -2168,13 +2168,14 @@ Like other rules, this formats a list of other sub-equations, with the symbol $\ (mapcar #'convert-for-display terms)))) #+END_SRC -*** TODO Or +*** DONE Or +CLOSED: [2016-12-09 Fri 15:22] :PROPERTIES: :CREATED: <2016-06-14 Tue 17:38> :ID: 276de305-32c4-4f79-96e7-d0a99ff24f78 :END: -Foo +This does the same thing as "And", replacing the symbol with $\lor$ (~\lor~). #+Caption: Or Operator #+Name: stf-or-operator