interface LexMath = open Syntax in {

  oper
    even_A  : A ;
    odd_A   : A ;
    prime_A : A ;

}