can we use cartouches instead of quotation marks to delineate inner syntax in jEdit Isabelle/HOL sessions

Question

In typing statements of a proof into an Isabelle (2020) theory file, e.g.,

from ‹prime p › have p: "1 < p "

the jEdit interface appl