Parse error: syntax error, unexpected token "*", expecting end of file in /misc/HomePages/UserHomePages/i57/beckert/pub/Many_valued_anti_links.pdf on line 373