سلام
بله لازم هست تعریف بشه. کلا هر چی تابع مثل Int هست، باید ایستاده (غیرایتالیک) باشه.
کافیه دستور زیر را در قسمت سرآغازه فایلتون بذارین.
\DeclareMathOperator{\inttt}{Int}
حالا هر جا بزنین \inttt
خروجی استاده تابع Int هست.
این دستور از بسته amsmath هست. که فکر کنم فراخوانی کردهاین.