So I was wandering around the symbols section in the bottom bar of the Isabelle editor and I saw that it included one version of the lowercase theta symbol \\vartheta<
\\vartheta<