equal
deleted
inserted
replaced
707 & warning* |
707 & warning* |
708 } |
708 } |
709 |
709 |
710 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
710 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
711 |
711 |
712 sup = element sup { mixed { warning* } } |
712 sup = element sup { mixed { var* & warning* } } |
713 |
713 |
714 sub = element sub { mixed { warning* } } |
714 sub = element sub { mixed { var* & warning* } } |
715 |
715 |
716 var = element var { mixed { warning* } } |
716 var = element var { mixed { warning* } } |
717 |
717 |
718 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ number ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
718 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ number ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
719 |
719 |