fix wrong symbol

2 jobs for master in 1 minute and 55 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #337499
latex
generate_pdf

00:01:53

 
  Upload
passed #337500
latex
upload_to_sciebo

00:00:02