no meta for @htm-lib-present-math-ascii-asciimathdemo