diff --git a/larcs.org b/larcs.org index 1202725f1d4a36078637de0e6308f5ee41c15c3d..85f3af8f77e01178d5ecbbe8e3ef380ec4d33592 100644 --- a/larcs.org +++ b/larcs.org @@ -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