Multi-sentence statements

[Dennis Müller]

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.