styled theorem representation