authorinfo fix: use double @ due to lhs2tex