[LAU] double-sharp symbol in latex