|
@@ -1868,7 +1868,7 @@ Rule retrieval is done by taking an expression, comparing it against given class
|
|
|
,*rules*))))
|
|
|
#+END_SRC
|
|
|
|
|
|
-** WORKING Rules [3/9]
|
|
|
+** WORKING Rules [4/9]
|
|
|
:PROPERTIES:
|
|
|
:CREATED: <2016-06-14 Tue 17:18>
|
|
|
:ID: 90accad9-81d0-4aaf-9c7f-2418e36e1f3c
|
|
@@ -1978,12 +1978,15 @@ These are typeset as a single unit, ensuring readability.
|
|
|
(convert-for-display power)))))))
|
|
|
#+END_SRC
|
|
|
|
|
|
-*** TODO Multiplicatives
|
|
|
+*** DONE Multiplicatives
|
|
|
+CLOSED: [2017-05-12 Fri 15:15]
|
|
|
:PROPERTIES:
|
|
|
:CREATED: <2016-06-14 Tue 17:23>
|
|
|
:ID: 87a7e236-072e-4c19-9f09-c458e5b50397
|
|
|
:END:
|
|
|
|
|
|
+In the case of multiplicatives, which are variadic, a $\cdot$ or ~\cdot~ is placed in between each term, individually converted itself.
|
|
|
+
|
|
|
#+Caption: Multiplicatives
|
|
|
#+Name: stf-multiplicatives
|
|
|
#+BEGIN_SRC lisp
|