Isabelle/HOL: Is there a concise notation for an arbitrary value of a type?

Question

In Isabelle/HOL, I can denote an arbitrary (but fixed) value of any type by (SOME _. True). Is there a more concise notation for this?

Answer 1

undefined

(I wish I could just write the above, but answers must be longer than 9 characters.)