I naively entered the following math-mode/text mix in a theorem environment, but the way LaTeX treats the parenthesis doesn't seem right. Especially upright math formulas in italic text parenthesis look strange, even though this is exactly how I would write it in regular text. Also the parenthesis in the end seem weird in contrast to the big upright one in the formula.
Is this a problem in LaTeX that is supposed to be circumvented manually? If so, what is the best way to make this look more consistent?
\begin{conj}
Let $a$ ($b$) be $3$ ($5$). (Recall that $c=\Big( \AImatrix(C) \lor \AIclause(C) \Big)$.)
\end{conj}

\left(instead of\Big(. BTW: Welcome to TeX.SX. In future, please show us complete compilable code. We don't know, what\AImatrixa.s.o. are. – LaRiFaRi May 05 '14 at 07:58Let $a$ and $b$ be $3$ and $5$, respectively. Recall that $c=\bigl( \AImatrix(C) \lor \AIclause(C)\bigr)$.Note that I wouldn't use\Bigfor the outer parentheses, in large part because they end being visually overpowering;\bigwould seem to be more than adequate for the task. In fact, does one need the pair of outer parentheses in the expression that defines$c$? – Mico May 05 '14 at 08:01\textup(and\textup)for parentheses in statements; coherence would require braces around(and), but this is a case where “breaking the rules” is justified. Use normal size and not\Big; in any case, it should be\Bigl(and\Bigr); try\bigl(and\bigr)if you want. – egreg May 05 '14 at 08:43\Bigdoes make sense for the formula. Sorry, i guess i wasn't clear about that this is just an example.Thanks for your answers, so i'll try to rewrite the sentences then.
– user51122 May 05 '14 at 08:56\emphand\textitso that parentheses and square brackets are typeset in an upright font in their arguments." – Henri Menke May 05 '14 at 09:35