Multi-sentence statements
Jazzpirate opened this issue · comments
Example
"Let a an A with b a B(a) such that P(a,b). If Q(a,b) and there is some c with R(a,b,c), then every D(a,b) is an E(a,b)"
=> \forall a\in A,b\in B(a). P(a,b) \to \Q(a,b) \to (\exists c\in C. R(a,b,c)) \to \forall d \in D(a,b). d\in E(a,b)
Idea: Multiple declarations in a structural feature that elaborates into a single proposition / definition. Retains both presentations.
Additional idea: LaTeX/LaTeXML can implement such features generically, by adding a <span>
whose property
-attribute reflects the name of the structural feature. That way, we can add additional features by providing a structural feature and a LaTeX macro in additional packages, istead of hardcoding them in the FLaTeX-package.