TeX source:
\Bbbk[x]