update spec tex

grammar