How to name a function like a relation (dependence atom)

Question

I want to achieve something like this:

how do i do this for an arbitrary relation symbol? Latex is putting a whitespace after it.

You may try one or some negative space(s) (\!) after the symbol to remove the whitespace folowing... or even some \hspace{-0.5em} or \kern-0.5em etc. — koleygr, Jul 22 '19 at 18:15
Your question is not entirely clear. Perhaps try with \mathord{<relation>} or {<relation>}. — Werner, Jul 22 '19 at 18:18

score 1 · Accepted Answer · answered Jul 22 '19 at 18:21

1

I don't think this is necessarily a good idea, but you can just define a new operator:

\documentclass{article}

\usepackage{amsmath}

\DeclareMathOperator\eq{=}

\begin{document}

\[
  \eq(t_1, \dots, t_n)
\]

\end{document}

answered Jul 22 '19 at 18:21

schtandard

with the equal sign this is common practice in dependence logic. – T_01 Jul 22 '19 at 19:34

1 Answers1