Robin Berjon @robinberjon · 8 Jul 2016 Replying to @dginev So you are thinking of a purely semantic/structural system that can then be typeset? @dauwhe