gf-3.1.6: examples/mathtext/LogicEng.gf

concrete LogicEng of Logic = SymbolsX ** LogicI with
  (LexLogic = LexLogicEng),
  (Lang = LangEng),
  (Syntax = SyntaxEng),
  (Symbolic = SymbolicEng) ;