From 0415f4786b2dcb37e95aa261839a8e272f78e369 Mon Sep 17 00:00:00 2001
From: daviddoret <david.doret@me.com>
Date: Sat, 14 Dec 2024 15:27:31 +0100
Subject: [PATCH] first theorem implementation

---
 .idea/workspace.xml                           |  39 +++++++++---------
 .../_representation.cpython-312.pyc           | Bin 22995 -> 23791 bytes
 src/punctilious/_representation.py            |  21 +++++++++-
 .../representations/formula_notations.yaml    |  18 +++++---
 .../representations/tao_analysis_1_2006.yaml  |  10 ++---
 ...ula_notations.cpython-312-pytest-8.3.2.pyc | Bin 7912 -> 9709 bytes
 tests/test_formula_notations.py               |  12 ++++++
 7 files changed, 70 insertions(+), 30 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index d1b7c0c01..5e95d0f52 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -4,11 +4,12 @@
     <option name="autoReloadType" value="SELECTIVE" />
   </component>
   <component name="ChangeListManager">
-    <list default="true" id="48b609c4-0198-44a9-8f40-0a1e1f4ae31e" name="Changes" comment="formula-notations">
-      <change afterPath="$PROJECT_DIR$/src/punctilious/data/connectors/tao_analysis_1_2006.yaml" afterDir="false" />
-      <change afterPath="$PROJECT_DIR$/src/punctilious/data/representations/tao_analysis_1_2006.yaml" afterDir="false" />
-      <change afterPath="$PROJECT_DIR$/src/punctilious/data/theorems/tao_analysis_1_2006.yaml" afterDir="false" />
+    <list default="true" id="48b609c4-0198-44a9-8f40-0a1e1f4ae31e" name="Changes" comment="first theorem implementation">
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/punctilious/_representation.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_representation.py" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/punctilious/data/representations/formula_notations.yaml" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/data/representations/formula_notations.yaml" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/punctilious/data/representations/tao_analysis_1_2006.yaml" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/data/representations/tao_analysis_1_2006.yaml" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/tests/test_formula_notations.py" beforeDir="false" afterPath="$PROJECT_DIR$/tests/test_formula_notations.py" afterDir="false" />
     </list>
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -454,7 +455,7 @@
       <recent name="$PROJECT_DIR$/src/punctilious/data2/mappings" />
     </key>
   </component>
-  <component name="RunManager" selected="Python tests.pytest in tests">
+  <component name="RunManager" selected="Python tests.pytest for test_formula_notations.TestFormulaNotations.test_formula_notation">
     <configuration name="build" type="PythonConfigurationType" factoryName="Python" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
@@ -802,8 +803,8 @@
     </list>
     <recent_temporary>
       <list>
-        <item itemvalue="Python tests.pytest in tests" />
         <item itemvalue="Python tests.pytest for test_formula_notations.TestFormulaNotations.test_formula_notation" />
+        <item itemvalue="Python tests.pytest in tests" />
         <item itemvalue="Python tests.pytest for test_formula_notations.TestFormulaNotations.test_prefix_notation" />
         <item itemvalue="Python tests.pytest for test_formula_notations.TestFormulaNotations.test_infix_notation" />
         <item itemvalue="Python tests.pytest for test_formula_notations.TestFormulaNotations.test_formula_notations" />
@@ -826,14 +827,6 @@
       <option name="presentableId" value="Default" />
       <updated>1687980987309</updated>
     </task>
-    <task id="LOCAL-01152" summary="presentation renderers">
-      <option name="closed" value="true" />
-      <created>1732991167963</created>
-      <option name="number" value="01152" />
-      <option name="presentableId" value="LOCAL-01152" />
-      <option name="project" value="LOCAL" />
-      <updated>1732991167963</updated>
-    </task>
     <task id="LOCAL-01153" summary="presentation renderers">
       <option name="closed" value="true" />
       <created>1733001365136</created>
@@ -1218,7 +1211,15 @@
       <option name="project" value="LOCAL" />
       <updated>1734163671549</updated>
     </task>
-    <option name="localTasksCounter" value="1201" />
+    <task id="LOCAL-01201" summary="first theorem implementation">
+      <option name="closed" value="true" />
+      <created>1734165814977</created>
+      <option name="number" value="01201" />
+      <option name="presentableId" value="LOCAL-01201" />
+      <option name="project" value="LOCAL" />
+      <updated>1734165814977</updated>
+    </task>
+    <option name="localTasksCounter" value="1202" />
     <servers>
       <YouTrack url="https://punctilious.youtrack.cloud">
         <username>random</username>
@@ -1268,7 +1269,6 @@
     <option name="CHECK_CODE_CLEANUP_BEFORE_PROJECT_COMMIT" value="true" />
     <option name="CHECK_NEW_TODO" value="false" />
     <option name="ADD_EXTERNAL_FILES_SILENTLY" value="true" />
-    <MESSAGE value="TestExtension with inference-rules and theorems" />
     <MESSAGE value="WellFormedProposition" />
     <MESSAGE value="WellFormedProposition + misc." />
     <MESSAGE value="Use WellFormedProposition in WellFormedAxiom" />
@@ -1293,7 +1293,8 @@
     <MESSAGE value="identifiers" />
     <MESSAGE value="modules cleanup" />
     <MESSAGE value="formula-notations" />
-    <option name="LAST_COMMIT_MESSAGE" value="formula-notations" />
+    <MESSAGE value="first theorem implementation" />
+    <option name="LAST_COMMIT_MESSAGE" value="first theorem implementation" />
     <option name="REFORMAT_BEFORE_PROJECT_COMMIT" value="true" />
   </component>
   <component name="XDebuggerManager">
@@ -1376,8 +1377,8 @@
         </line-breakpoint>
         <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
           <url>file://$PROJECT_DIR$/src/punctilious/_representation.py</url>
-          <line>129</line>
-          <option name="timeStamp" value="303" />
+          <line>12</line>
+          <option name="timeStamp" value="312" />
         </line-breakpoint>
       </breakpoints>
       <default-breakpoints>
diff --git a/src/punctilious/__pycache__/_representation.cpython-312.pyc b/src/punctilious/__pycache__/_representation.cpython-312.pyc
index 1db05bf55da4644581a7638ccf016a942248f191..26c788cf475a5be06be1f0dffc640592f07f8b36 100644
GIT binary patch
delta 5604
zcma)A3viUx75?vT_TM~6vPpI~?_~4N=CKI`2!TKnLWl_=Bp{fgxNP#TVR5qwcQ<IZ
zfrN_FNVO1;R@9MN>nma%Fk?q*EA}zkPHl_DnZ_++=~!!Rp`tiaJ7e2(?!UWP!lKQ<
z_n-gVbI-l!b<h3x>@54}6ifPbVq(06e}B7w$Kdh$>7)#eMl)UBF<hy{9E{l>r&K92
zKI4^YB^I9vicN{f=OU#>S%l9-rB+G8XOgm5G2k;<BehFP%0Wp<Jgy<NlC<3*c&W%s
zcBUNH2Dzz%n}*ytr)GC4?9rtGW5x+%Si&SE%qWrWoadSaHv_o|5!%uPHxs#8&Wx~z
zOu@}YZcYR@OK@|MtBuf*Ex36T$ks)$a|Amdxq4@ASaF_4a%L+Qr66o%zTgxpMPZI5
z$SDqU3IwM_DGhT9gPgK3$66F*m4{iyf@4)G!km&ZjdjUvspg6<Ir&D%ptpxRZ*y{|
zXTS;5sp(9H)v-628hk-lOVV-G=h8j~Ee5kY^tw*kktIp{G`_gtxHPU&SSG$4XDVl(
z7C9Q??28$X8E50#Mx^h}iIK+H7HM3XjK6k~Es`%moh_k<;j}J2J!V{b6y5rmE~NJx
z%qshDgNwTSg!#RDAu+x&i&NTgJ%Ybtfo-RaWw1%FpC}}WJc4|JG=gLT1A<k@Q}7Yc
z58HiXBTj{9)0@`k802K8SBGGsKb}eh=}wP#lsoM>?zNAE{pjVTI7<J$hY=>Fzvxqr
z6g*&mTVFD_Gubc|doC{RNXrAhx8rior52n`Et=BLrKCQTKAjGkpGexcf~l5ssX0e`
zkM4Q+#<Qt~Q>}AG(-Ft?x~aCgY|B*pk=8?9m-HxhDONJ1PbJO8#ZP6POU^r+Y&jEa
zfyYc`vpKPSn!HL}n_Cb9$zC6Kc?Ru1=g^4T;d5FwybA7*U(d?mo%rnrD+z|Bai}$+
zShpCN^|S7T$22mLJQL1rFhOxrG3$knr0r}8Jeg$It;C_O+1TWI%|ru|Rwn#sjp3_l
z&Kd+<e9Yr>4ES6Fc0THMdN~R5Y63btIK|tl=ZlD5MIeG>BZ{<N6P$U~yott19R>zo
zO)1tjBi%RqL5f`?6B*pJ!&t$F;9jG{&_c}R1oZ?f;0xm>-FhT<eZSYl^t62UfDW2B
z7{P7cXAnCLTf&>*bMrE`ceW<o!}MGvQUjdGNM{@2ml=oIIP_&+%IHEJGmLM<hnEUL
zO%>h%j)JrV8`hbE#m2q&!TzkprMpq!A;}jk7zs-#l;ry~<7`sn!m1mW;7E@#bzJj2
z3lD0?wYzn2px)Rq&YstVN_&fB)plbDdQmHem>z++y$<ej^rPRcT9KA~8?m+AIf7B5
zUGnV&y|6kvXX(vI`cpSMF_*ngjGE6i?7=;c+>d-OIbu>ems0+$`D{w<lsuPUJd==f
z9`4G%y{40N^pRAA%@lrr+5&A}_vqjwkejpBydm10CYZ`8V#nb5oWtnW+HxcG<QA|e
zfamV0?T9vkcI7uNSY&k6r7V34{)<x^pdhcnM!paco6&T4qv2$;KS^;7_-@A9sInmJ
z5DpVUFp^hxLpMzk&Wau3!y``a8&gx4oFr0P&A(mrO1qemxRGc&8q`dteDcAc@+xFm
z*UT;%AUXe8)&ei*Uy#W+!Sp<BsbVj{1xrgTEjfcxfn^1itQ#{Xm;C@H3f^byz**SI
zUW5~cmGyU^P(W|Ddz^RJ?N(htJK*;6F;eHJ5tBH$>=?9&7<&2Fp`|e`ZxSW^=~p|;
zYYXZ+39UsRG9OeIZ(u)!vEtm6Q563-v(B(U%<f^AhxfrV#Y@;r5GXz*AH*?!H|%LM
z!sLcl*+;M66lcV_lFF=8^m-2g>EMS5zD3Xn1*Ns}%S3(~YFbR-E`7<e7heN97na7I
zf%p!3v~fPnF=Iu7u7Q@aPWB4iTXt-spJplqg9u(a?}Mi?r$Ah5oNw4Z<`{DSjHb8<
zC`MQv;%w4l+^q@RP5dDO4+1$?86L3Pxk!OY;@?LwElIHw{|=G6;AFWe>+490gl|@Z
zE{+$1=iq$#3#@GRuyrL%7dBW(G;+7yaK6IKeg#)59%p^P>WyhBn}de~286<Ax4#Xi
zE4!C}52x}c2o@F?Zb<SQBBr4^cKaVl^hr3;YJz{%#KEP?+*M%}GeMV%dY~fkQlAes
zG%o6YQCK1FA^@kVZjz6Y%04hx7s~Gvc`K}`ZjZek$r(In;J)g-omcyiKTKl6e<9bY
zXKo<L(T}^telX<p?HX3Zl6;t?Ed(P3^JP><uLQ3{g6(Cw1}T3X99~)hmu)**s1(E^
z0fQZtQi~fH_IP~`k1uq%Rg#E>Km;oWDYSM{jaN5J*Oalp!l|15@(Uy*0s#-!<btPG
zW`Bp#+JWp7H1MJrMTk7#rXi)?4F8FbO~Qx?*Iy*DSva}e1dr!d<wT!GTk>1sVtgh%
zxY!_HqB%P$T(hq&?qnHasb^@Zt3v}#E5u^ZTo=PWg|@nq31Qq(nr|VPA)uh}=Mb*R
z>!>jio)>y3_WTioM-d{^n!L^l-lKs!gnu2B-icWaAJ)~e8ZcNhVZ>$wWoZekg+ohU
zm({qywq=b)BKfOGfra2YK`_G?E8^nqc9+NHv)gqH-d#3Ya1tl@Qw!;A#>iSimlqp$
zS8=?Af|W{>lR`BU&u|$EL0k5#wBl)kYYGP=S1Ko}qM<^$x&9ZHAER_YR=YHh9)v=T
zfx*BEk2$L5D)?Z9t<gf7chbrtl{1jSgcNRw5-uDP^;k#~wnJ}2?&klannb)r_=Mi5
zk*g(*1QLVS8rEQVdh;_OV`T$g-!`utTplhUekaO!7gPtb=rRzzv0#p?;VFlYR{maI
zhNHm-c5YP(s{&19QO*Q1@eX}}#=<R0?V6$iWlZ9TKYY-ITTdmp8^^!$Y>${1Jk@K+
z&-15x?1Ga#BI9Xc(IKLz_!1nJIbjJ5t^U0Eb)-V=Czhs)#8nG2ba)`!pMqZ*U5<XI
zJM5k1w52z&wY9^=HEY+2a0@q2sw#zVuA`Df{DugXqQ^IYx2aJmn$drSfl-s-P1MQ>
z>fmxy5qlGUYRZJ#=F?Xh8An22V&pc5d(;^=vNdGnJsoe+#OPLDN9QEY5LSkC3M<zG
zTiaMH6#b4=K8g@|2#IwFn!&NQh`lAOIJWk!77?o8RaW?Qe%UDbya>G;He-`&#);OS
zcM2zoHRgjAqbBl~DxJg~`4d#7!j8@GlXZT11lib4R=4G`ufZ*C?IFfYTb{gwR-J?2
zwAFXHNo<IKE*=ZhRTTI9>QRGBCUSzV*`D<!tT-}pEi@J-rtolkj_g!z$5u6arhOG-
zBe1Ar1KSOK9e3$?3C@J`9ZhT)ES>8T=UpQ61F)yFI$LO!Q3{)BxSdYoyWb494l~;Y
zXF4w@{uvo~LCC@fFTuOv8s>%MuH5C~PN=#Fhay|*2c*J;?)0{Jy{<ve5PpT&+*Dv*
z4*gwEvkR!E1Z*2KO?$}z(QqTw!7UrB<xv{>Cmi0`-u~qdrq%ez1W|o!q7j0A$nBnD
zh46IuV4iTWM!lE{FNjNB=uCjhO}X-Z)wR@DE|kTAd(-Xer9A;}2~M928yQ~QgBeRL
zRs6OPtu<bOq#g@905v`D+dm^g3PeC29Z~2bURF0Tf6gw@wJ<!N<7B^?eA_esQ-w`c
zcK58e_X%btcLlUAygmi*iD8vjUq(KIHCxKrq1nMLPq9q85#m>;jUL)yu#v{kn3ApQ
z*iqQMwJG(x$Pm}xofh@#)dR0=&1Xm8k6Yc>uYxP2hPKUx^*uyIjg;t|1Y-c(YT%7+
z4^4bR!c-V|*B3MeGDMSTh%SqusR4xet0L$YqDupKL%D6#N5A;kIrRedSA^wA1(FAb
z-EJrT%7OP!o1=d~&z&UjBbd9XXrh$J#RMw}nhDku&>B3EfK~`-Th_LU+pf56iN-B@
zl6t<*A5o&{MRw-VTw%RLNv9#u66gqI0zJb6k;f4^0{i<i;**iYf0B1GJl<!Mli027
Wav}T{N9tJi#}dM)Zn)I<-v0oe`v?dC

delta 4951
zcma)A3v8R!7524bH&5r$#IfT%9OqR#iSullCwb5|N%Lr%hPI?Fe_j87Q@5@YuANr(
zk|hWjD_e!=0Xm8b2n1?YST}jA7?U=Q$9Rc}!X!FNn~DY#uTfYKrIo7foNLE%gTod@
z-+%t^o_p>+kNfz2<+tp;Ak)8<mX@r-zl*=#J$}0JLA_CZojtgwf7~u7+><btBv;Bh
zd?w3Paw0xc<Z3w?pQ*A#PQ_=MTqEo8saLCdRdV`0Dmmqxn#`$GW9fp+KrT(mIH!rQ
znS#wkc9o(&So+{)^XzItWg)d%Sshi(7Hl@MIWcUGU=7G7#TYdRHWyi=k{h*P6s!r^
zycpIbSTnMku!UJM+dM(%Bdv`wY!++*vV}^1)Np}XrR2#)vL)(kp<s$-Ym_O9FeOpO
zBA8OSEXouMW^Jil9;K`irHUw1BA7L@Ey|Q0Q`>5T4)s-SP@l3xU099|a0@~x-RI|S
z@3`bw4o`ZVe#NHd6>xXjMrMUK)5bDNNinL8O^y0eZ55K`!9DsjYE}j3OY$Hmvy^o~
zYvvfMhKDmH?OIf53tr1yr><#4(Z+ZtJrZ~`K6ncPj(g1Oce?y;m&B($ijR{bUjtHh
z&e|pt3khrlWR0g2WFXkI!q}22-bzi4FrRJLwxQS?yp%1eS(}*INUojjhM8PvMmuTM
z5!4ejz!$ljwcRN0c)G{PR?(QlE-lRUWy2oROoo_Fbh^A1J~gdnO3;$$WtE}yQRldC
z3s?3lT=BXhlMf~PToYW8{MaU9Yt!*Qc;5T~I|Lp1UpDpP2=k2h;lsxeEIbQQ_#H5g
zD3e_ADHsyJd&28LvohM|zG-k3)agf2@sw&>J*Rf7X4LS*5o5-4>>L@vzZuQ6=AZ^L
zD_3t|)9UBci%H+6vT24f^h2nFS*1rP>4=lNo%=A}$czx9;mRZ?hGr#H_;%<h%(w5r
z_dwQnW;J;i^1cRyIn||<>~~V~FTshzLxv61on{&9SqtckjO;$BD7wwCF`hyzoGdC~
zKY<HH59q`MBp9&NvIk(=vd6GKUXNzDVllCkkW^gE8lked*g<ab0fc$=@Gv?OedpVe
z4CrOI%fAb2yvl;G2Li<vef`u$IG;GlCngo{KNhY&a#~bpxTIuyr4pD|@obVszC>{n
zxZsmwyDmZ7#lB1hll3fXhnK9MvlgtojqEY_rldQOMw-XqLT70u>xV<71?)5&Fa3yh
z!bI67_5{3GR%!O3QfQSVd6lD*WYdN;E{~5-(RfErmYZ{qqU6&eSnzKyJcnthEzf6<
z!%+DrY!cR04AeZ03JWyJk5%8!sopJYJX`#;JD)gm=E%ju#%ugeY`D&B^DLBbaKi27
zqwuSWdiE52SaE;S9JX;vD;ygh)lJgd-EeVDSKhNE-b+B;`Hu+hBN&BBTdnRH67L76
z?M=p^%5Dm0umuL}o7h=+#Qu2x9i*|Bz=hzWP2LhIdKtD<=Fgs|Hidv@juk0(1`Q_4
zmckDZ?<P2iKmn2`T$02^_NIwHPH=+YBmt!>lqN|okJIOKDISj`;c^q<qm|MX4xQKr
z2u`Wsv&!e0HTY;%D|3kQvmkxbG-<3r=162QIwZ;Mb^9gh0x-vuYnGQgP3I<MTv=R_
z{s?b4hMUe{BY&J=c{g$(kP$Nmx-Utukm{2#RMXZL?K-cCU8bnuqZ1OVBJ7!1vZ+x+
zIQnbwa?K9iX)-kmmRhUsEfU9|ueLXF9L0Iu6~H-~4d-f;_ud?D{xGSESTBXS9=VX-
zxesTEJNIG5e_%r9V$mETZ3}^ifYKSBl$9icAmr4&!0hnnx}WN(;(0&ptv8m4xG$YA
zB3lXAj9$%!E%d`5nhkIzEipYB|MyVAXN1q2jc~c%Y4|yrTOQWqi`|m3TR0Q%!)$}g
z{2XcjB3_phaHFAI7ow)~U~B9##MLT?yBZxCe<Q8k1mvqr1D9*+gI_h4Fr(;1%W+wD
zpsLBrK7h?lWwXNHhp4lKK&&Ln2d5?Xozjn+3K4K&N5uaT>U|19?7xvxw-ZV54mC6&
ze0z`TuL&Kn(A0pLaMtyLcU>8)gooDsDVme!_Ha%rsI!G&g`8BV|E+?Lo2S_Ga7Rm?
z;WwljFA2qPzD1XGm6~b2!;=j?<`?Phckz0h0CQ`(?z+&%>MsPP^_8+0@HM0hpNTw9
zXt6m^0G8G~EhhSg3J$k<4RNhkz*lXK_B7lMmU739*c}fJ;c%R!+<d0MuJ(eF|6{3$
ztcWBDyK(bVNnR5CO9gMX--3zQWi^4dqXlnKyF11Uebg?NpdTgQ@@4TsM=r~OYaQ>h
zT5;9+=PhN-1gV`RwLd_0ye7?1|L{RVQX_##rWPe!V2dkk8l+AGGs2P1>F?jO^<9Q-
z`4qgRJv(vPJ{?o6VvnXxnaB0Mnpz05;Aq#iu9r}<MK-uZY7#RIZ*Yq{0n&j?ym}2f
z_bHy}ZcsuqdKnL*92j0-4_CW;){8WX@X;jDtO&&lW=SQG5o1;y#N{y4(=H6nulgT8
z#&z#?@`1ntH+o9g>ri~_rJI~gB8Bg9a=X(rr9_>qjdjxB|2B1w@8t@1qh2oB6<#(#
z%7*q*VdyO~c?uzR3lZZGRKuYSCG2hV!UShGT<jL<id-8-T$hGjR;SoGkc!cby3!tY
z<;9IJZxTTgV=N^rAtqTX85Pc?gpCS6I^nh6fKHq}qtM$|$Tq_MzFvEnSoFyfK2XSL
zAc;C3p%8DP>HG!W?_1Y!09%%>9Lq~ttmY+O!&!&!ej{rMj`f$Zjj<(cAyX@4Hy6kD
zb^CnoaqnTg@kawQA_5b9b<-BcJYX0cU^`&n;N5s5^gGAl)4@*slCcl1Pg{zWj?cgk
zhN=x>ARP`#t9of!|9;5KZiCR!LK+=cc-rUDtp1L-yBxTJp9Xuuw7I}6Zg+7b^&xEC
zoW~^aY<`w~66uuz&09=4E}H76WG$vQ?B7zY+ea;*!J}Jx9p4|$52^PT1d&MUw;I`I
zsMz{rHUPieIvy@Db@<9798{z7qI3Ny2aFWRn9s0iBoB#5!p@Q7>nK>E6iM<aem8#O
z;te}ewU@DhuT)@PgK?XMd7)+7N4GAJqA;VInw04i8Ncg@TiRNe*;<~7Z}5_3W;{4E
z`V`BesDw0buYYm3y9{;P4Qv7Wwy$AFgLiI!hMDLNf?sYndT1h9Lm59LYId$?_kw?C
zXVzm#h|B8UNL>%Yt2>L>41BcHGq_^tza}%^5D2#hNs7CF4NwcgemHY`jhYX@8@HdH
zy+SN4aJ;MwIVVQ8#>mw%a#M`lPI6f&S(5fo`KRz}S>m+Ehrh||Pzt5HCOjSme;AnX
z`W()EF7BlE3)G~AFUAUItLS|#K^s9g0S&>^2xx$irn~1>aqAS<A92Qtqb9s%zD{~#
z*C9_hxe)%fLHK-wUjIX&qAF4oXb2JrbPO+D%PzUs6Wb3@$oM11Ej$%<@L%PtgbTYI
l)-1M%E!dOTPPSl7BiWL~?qFAqb<F&g3gPPmkh=RH{{?UFU047B

diff --git a/src/punctilious/_representation.py b/src/punctilious/_representation.py
index 16e427b68..0022ffab2 100644
--- a/src/punctilious/_representation.py
+++ b/src/punctilious/_representation.py
@@ -35,6 +35,23 @@ def ensure_tags_assignment(o) -> TagsAssignment:
         raise TypeError(f'TagsAssignment validation failure. Type: {type(o)}. Object: {o}.')
 
 
+def ensure_tags_preferences(o) -> TagsPreferences:
+    """Ensure that `o` is of type TagsPreferences, converting it if necessary, or raise an error if it fails."""
+    if isinstance(o, TagsPreferences):
+        return o
+    elif isinstance(o, dict):
+        o_typed = TagsPreferences()
+        for i in o.items():
+            tag = ensure_tag(i[0])
+            value = i[1]  # TODO: define a TagPreferenceValue class and apply validation
+            o_typed[tag] = value
+        return o_typed
+    elif o is None:
+        return TagsPreferences()
+    else:
+        raise TypeError(f'TagsPreferences validation failure. Type: {type(o)}. Object: {o}.')
+
+
 def ensure_renderer(o) -> Renderer:
     """Ensure that `o` is of type Renderer, converting it if necessary, or raise an error if it fails."""
     if isinstance(o, Renderer):
@@ -126,8 +143,10 @@ def renderers(self):
         """A tuple of renderers configured for this representation."""
         return self._renderers
 
-    def rep(self, config: TagsPreferences = None, variables: dict[str, str] = None):
+    def rep(self, variables: dict[str, str] = None, config: TagsPreferences = None):
+        config = ensure_tags_preferences(config)
         if variables is None:
+            # TODO: Use a RepresentationVariable class and apply proper validation
             variables = {}
         renderer: Renderer = self.optimize_renderer(config=config)
         return renderer.rep(config=config, variables=variables)
diff --git a/src/punctilious/data/representations/formula_notations.yaml b/src/punctilious/data/representations/formula_notations.yaml
index 8caca188c..84f76c49a 100644
--- a/src/punctilious/data/representations/formula_notations.yaml
+++ b/src/punctilious/data/representations/formula_notations.yaml
@@ -6,22 +6,30 @@ representations:
     renderers:
       - implementation: string_template
         string_template: '{{ connector }}'
-        tags: { }
+        tags: { parenthesization: not_required }
   - slug: function_formula
     renderers:
       - implementation: string_template
         string_template: '{{ connector }}({% for a in argument %}{{ a }}{% if not loop.last %}, {% endif %}{% endfor %})'
-        tags: { technical_language: unicode_basic }
+        tags: { technical_language: unicode_basic, parenthesization: not_required }
+      - implementation: string_template
+        string_template: '{{ connector }}\left({% for a in argument %}{{ a }}{% if not loop.last %}, {% endif %}{% endfor %}\right)'
+        tags: { technical_language: latex_math, parenthesization: not_required }
   - slug: infix_formula
     renderers:
       - implementation: string_template
         string_template: '{{ argument[0] }} {{ connector }} {{ argument[1] }}'
-        tags: { technical_language: unicode_basic }
+        tags: { technical_language: unicode_basic, parenthesization: required_if_ambiguous }
   - slug: prefix_formula
     renderers:
       - implementation: string_template
-        string_template: '{{ connector }} {{ argument[0] }}'
-        tags: { technical_language: unicode_basic }
+        string_template: '{{ connector }}{{ argument[0] }}'
+        tags: { technical_language: unicode_basic, parenthesization: required_if_ambiguous }
+  - slug: postfix_formula
+    renderers:
+      - implementation: string_template
+        string_template: '{{ argument[0] }}{{ connector }}'
+        tags: { technical_language: unicode_basic, parenthesization: required_if_ambiguous }
 
 
 
diff --git a/src/punctilious/data/representations/tao_analysis_1_2006.yaml b/src/punctilious/data/representations/tao_analysis_1_2006.yaml
index 492b38182..34670e7c0 100644
--- a/src/punctilious/data/representations/tao_analysis_1_2006.yaml
+++ b/src/punctilious/data/representations/tao_analysis_1_2006.yaml
@@ -1,17 +1,17 @@
 schema: http://punctilious.org/data/schemas/punctilious_package_schema_1.yaml
 uuid: 4bb42d13-1e72-4192-bf40-efeeee858705
 slug: tao_analysis_1_2006_representations
-imports:
-  - slug: formula_notations_1
-    scheme: python_package
-    path: data.representations
-    resource: formula_notations.yaml
 representations:
   - slug: zero
     renderers:
       - implementation: string_constant
         string_constant: '0'
         tags: { technical_language: unicode_basic, connector_representation: symbol }
+  - slug: successor
+    renderers:
+      - implementation: string_constant
+        string_constant: '++'
+        tags: { technical_language: unicode_basic, connector_representation: symbol }
 bibliography:
   - slug: tao_2006
     citation: Tao, 2006
diff --git a/tests/__pycache__/test_formula_notations.cpython-312-pytest-8.3.2.pyc b/tests/__pycache__/test_formula_notations.cpython-312-pytest-8.3.2.pyc
index a2a68b61c634b1684c8d324595fa83c97262537b..859c64afb89360af222e84e721b4327284cb223b 100644
GIT binary patch
literal 9709
zcmeHNO>7&-72aL`Q=%mQ$dR4cW}QE+>qw-2ZC8pM*(H-A`U&bnj*w!p=8`g1id1Kp
zuE;Kdp!LByHJ8E{9~$&h)dpIiCmnUG(MuOTwAdC<fffjSvn@9UeCm5MJKSBFl9fPi
zdk_J>ee=zmw{PAK=e>QyKP3`z0Y1O~<qsFGgaqNA*x;X_!)#6hb4$<!O)LrXBE3pW
zft(}?OTqb&$a=!_VcHX!k4i#T(4-rJ7PuoZ9rLl8C<h;4V>-tmMn$Kwc><VQLZ0fM
zmo)K)Fdsl2^Fb{DG*k=9A^Y&<yl!MFWT{$Grz?hP6f0#t$9148oJ|0}o4<uS-x3VO
z=x5Qfgtzh95KVEB&(hP;kW6VY>;W9M5zs_U(gL@oMo<#WfEm0SyyM)x5z<19uo*JL
zKk5a|5i|0+sE3Rg*Rn|c%v<cLh0RDo)FL>lAl-2+(V|9z%Pn?r&b{7o*z1CR)T6)4
zmEfE^du}E1jyTBW-0Slr$|Bg~&Z5N_Q{>uTASdloF0f0vrte>H-_S1gg}Iy-yB(>+
z^KV48xYlMyiz02sjBf5J&mE6&%)Od1u8CiN2EUpWu_3}&f^Pu6LHLH?8)<}Vg4{lB
zi-lFm7FTSs2G>}wQZDCnMupf>l`K@3@?~RHv}4y*QdF;&@_IeAk}M=^tKu_hd|Vdm
zzk0KGxt31Jdi<xHOO7Xz9pM--4m89eU>s<GL%=u?DC;Y*ADdF<zqWXzuUIY=R}`lQ
z+9bamZ}c`T8^@cTm32AZNRBfT(u1;YOUu>Oh#gq2rH~9D8A39G<g6V;^C=yC)~V`x
zo*2~p^e~LY&SANo8~`WV2c9#^PWWuH17MOJzpz|0V82jQVjoa)YN@0EOmdZ_WtHUZ
zcIZ~FR*NO0Sk~=usR9zZ-J|H&D%FxkMU{n8<*Hgz%IZ?yjw!lY$fE|k<2`B~Y(C#5
z1fI|#>I~IT@+-?FwM@6A)wmth^QD5_hWBCfNqZZE-o~)EG3srcV}?2k27IkFYoR+-
zBR%A6jp(@HB%7aSQ~f^xpX&XZdcCM=6_PjlXKT4@Dp{H(l|@);djE2@oHL50Vx_A0
zqvsgqPug7reakib5OpncJ6|02-d6i_UkgdxT=gE<IzJVjNMdYS+!&j(#-<(xD1TvU
zJ>jt5o4WV<Q;I$nu#eGyQ=X0S_C92Ic53}PgC8?sc*+`{V#rqvxiq!@fp_GF3q0B?
zu@`{XddH~qQ`ULMC~q&D!zS(~zR1=F0F7+(5ECG>HKSgu$i`ztL-feCh;$gwc#Lj9
zWHUum8iO0TaiDb^Gy{uKw9x-)1kGTpI0vyYsD-pJ#LY0oO^9}PBYbCUM6_rlYDUZ`
zjhituM&ss=5l{muh?{X7<%yeZ25t}Zv)Cd|ai7q*>FPhs$GBH__S{N{o9>7fJO1+{
zAa1tpJjQh6+>W|UH_q)W=f=66<(hHs1@<+c(F^3F+)G-!6F1{pLhCT&PTXuWj&k36
zG#%rZdo|m*CVq9|rZ--OF=oOy)`+@Z-?LTPx$P?L+FzyoNiDYc1?;a<Usm^WSLuOm
zSLwn1Rl2`Q(F6Ynd+DKVSLxyXRl2`QztJjnv)<O(Y_}(yJ@OK>Szn%Dig#aW-nU)r
zX(Y^cGePs&s2PQPHsi^AT2yo(pN&F3dlX0Q=d=8mVSep=Ry(%qH-K)>6KU}V;MTN=
zSF%;!)2x0$#(&JCwUul;&ud>Gm*8^RtGA=H_SB)hrX4psoQ%42*BNyu*Tk>eWYq1D
zQAZmIs6?HZwhtQl+_iEM3L*-WGZw1qLf%eP0jOws<*KR|a}P9lN(A5HR|SHF27<2~
z^+2IlCY``RLF(7M4E6F0QUzMKsFZo7V%Ie(T2CVQu1N58guDu5RV4UoTMrg`S7Z`F
zHUjLKWKEU>w2NRl)E4XYIK$5*>#`j$sYZT9fkMo+2Y-ZqSt9sLx5H4#D-;*%orO<I
z`GV2A@(C#}Tr*_w&>yIW(!B7N2JU5*>~`;=Gf8GJt>T^YSMi`)Xor?bzM#udatLNe
z@TWttDoSv<lUIOXHSZiP*rh2Qs{5*WP=uuLh}^-dd7YQl1$`EjLT#;_%j<Rk0P-4Y
z>e^~H!BYZq5=j!tw~(Ad@;Z_?ki3cHEg*6ifl9nUCV<!h1C+|xJdNbrNX{U62T322
zek3U*X&}BrTgulO^cC8MeXUU)>+sF0o5PR+)Ywf6VOxur_0!uI&9=(oFHQd)oYQ<N
z{JrboU%F0NU8nAMy>T=2ua2%?6h15bxm*6t#Ql!%+zkA+yXR);X7022lb{&8C~l-D
zt@I?;)PNtDv<5goF}bE=9qb~ltZ|C<H9pAOi?u1h$0pY@48~Fx0H-Id(~}Ir`WhhT
zCfAO7M|uD(r}-rI0>BCyx85<Tf70rAjPmxPL*5rRMzYpO799foXx19#{H5&rMKt_<
z>JU!RA$*Xx7aaold)f6P490r{(4V#XvkXCp0P=2jt>_);0dW34iM;@D%G`R#sG+Pi
z<QV1cMTg9Sfiu>-Gw2ZDCuXb(&VM*_k2++QI)qbn2p@#g;y5}4@DFD0QHRWmcy9nk
zXROf~CWsCJBr~&49l}R?0Gz*1VlM!kGQXE&)YyzQ<{0JeMTcAg1Lv&F96AK}?3|V5
z{N*|8@*Ga(3iSx5=n+23+lw9n{G&PRBWD!e9gvARYr;X$C4fxN-J>qyDm?&tz$dX6
z08X0U%Q5QGoOP+i<er3u&I5dh8N1(c*0;k*vGkWGQ`X7UqY$#ml$CVYcT%h0e~RE!
zfs?P0W8!YlLkgZwt-eLE$F$j#vU*aq&BnZ)`l99z`Lfx3M5TAxWU9Bl6YFm3+T2mK
zJ1I8oc*;7?40e0y%*YUI+`ei)?&SOD)ZhgCxOH5frS6|oGtaa-$1t1q`~S%~HO>0T
zd9cry_$OC*;{U~eFY(7*^cx&Sw@Uk+!)2CucK8*4t+bQ84X)X8_{#FX!!-YMR5#B|
z<?YkIEuu+O+}%7h&59et8EZI$Aqx1jnY9jwy_i`a#1NFF0g6)$P<)KH7XuXF7c%Q%
z24g4ypf6+f(KIhBVtfK*JhS$(cccfvaO9KN3jpI2x85;oFk=lmMtOVx5pAb??6e%V
zqY6E+R}?$0C`%QsTFL|8t|&jQswF(iR}?ac%lAVhGf2)M!9AKjD1xOWN+8n~bbLL$
zAv~6((6snCdN`EcJQD~dm^ezxaXZTYM?l|5?4t_%=RqGkwTJ%+z<(ruLW&0bi=YYF
z5eK91Gj^B_vD-X{@NAt@Yy1{Ii;l60y-Pj@3$Q4r;~Cq-fGCO^XztGwe-nD1hEIrz
K#{v*)?SBBbtm@(b

delta 265
zcmaFs{lb>-G%qg~0}#x%icP=IypeA%J2!~W48))3aBaM^ifQ75U`C$FcjP4*c{lqp
zT7da{U_L*bF97BX0{PZVOhSH}ZN+#P*)@5J1cAm(o+05fIapb0a;~I1haU?ALj%JX
zrp-?zU0B#YFfejPFm6tlzr@67zS&Btn2}Lr^EzdJMs6#h#v)q~VK$jVRYpV@$ZTQw
z#Kgqv$M}hZgEfNjv&dv~)gl)&kQx&ZVFV<8aoFVMr<CTT+7-D2xr{(uED0n&Ff%eT
Y-Uk`c%zK+b;yarVBkv~$AOY4207U>mdH?_b

diff --git a/tests/test_formula_notations.py b/tests/test_formula_notations.py
index c5b96e383..25b5305c8 100644
--- a/tests/test_formula_notations.py
+++ b/tests/test_formula_notations.py
@@ -8,6 +8,11 @@ def test_infix_notation(self):
             variables={'connector': 'f', 'argument': ('x', 'y',)}) == 'x f y'
 
     def test_formula_notation(self):
+        prefs = pu.TagsPreferences()
+
+        tag = pu.Tag('technical_language', 'unicode_basic')
+        prefs[tag] = 100
+
         assert pu.formula_notations.function_formula.rep(
             variables={'connector': 'f', 'argument': ()}) == 'f()'
         assert pu.formula_notations.function_formula.rep(
@@ -17,6 +22,13 @@ def test_formula_notation(self):
         assert pu.formula_notations.function_formula.rep(
             variables={'connector': 'f', 'argument': ('x', 'y', 'z',)}) == 'f(x, y, z)'
 
+        tag = pu.Tag('technical_language', 'latex_math')
+        prefs[tag] = 200
+
+        assert pu.formula_notations.function_formula.rep(
+            variables={'connector': 'f', 'argument': ('x',)},
+            config=prefs) == 'f\\left(x\\right)'
+
     def test_prefix_notation(self):
         assert pu.formula_notations.prefix_formula.rep(
             variables={'connector': 'f', 'argument': ('x',)}) == 'f x'