TomT0m added a comment. It's not a question of appearance, but of meaning. In a boolean algebra, the inputs and result of the operation are sets, whereas in logics we manipulate truth values of different kind.
I have a feeling that it would be useful to add a feature such as a mapping Tex macro ; arity ; meaning with macro beeing a string such as \frac ; arity beeing a number of parameters (2 here) ; and meaning beeing a Qitem such as https://www.wikidata.org/wiki/Q1068675 depending of the type of objects the formula ranges on. There could be a default mapping, such as standard division on the real numbers for \frac, of course. TASK DETAIL https://phabricator.wikimedia.org/T67397 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Physikerwelt, TomT0m Cc: ArthurPSmith, TomT0m, Llyrian, WickieTheViking, Aklapper, MGChecker, Micru, Sannita, Ricordisamoa, Rits, Liuxinyu970226, NiharikaKohli, Tpt, Physikerwelt, Wikidata-bugs, Bene, Tobias1984, Lydia_Pintscher, daniel, mobrovac, Prod, aude, fredw, Pkra, scfc, Mbch331, Ltrlg _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
