{-# OPTIONS --allow-unsolved-metas #-}

latex : Set
latex = {!test!}