「File」→「Download as」→「PDF via LaTeX (.pdf)」で変換できます。ただし、LaTeX環境が必要な場合があります。