1 (*<*)

     2 theory Paper

     3 imports "~~/src/HOL/Library/LaTeXsugar" 

     4 begin

     5 

     6 declare [[show_question_marks = false]]

     7 

     8 (*>*)

     9 

    10 

    11 section {* Introduction *}

    12 

    13 

    14 (*<*)

    15 end

    16 (*>*)