How to type "x is an element of the integers such that .."?

One option is to type “giventhat” and then press SPACE key in the full editor.

This will be the result after user types “giventhat” and then press SPACE key:

Afterwards, user can fill in the variable that they desire. In this case, user can type “x” in the left square block .