Documentation for tex-ifnextok
