Нужны символы высоты, промежуточной между \big и \Big

Question

Я постоянно нахожу, что математические символы, масштабированные с помощью \big/ \bigl/ \bigr, слишком малы, а масштабированные с помощью \Big/ \Bigl/ \Bigr— слишком высоки. Вот пример:

\documentclass{article}
\usepackage{amsmath}


\begin{document}

\(\lvert x^2 + y^2 \rvert\)
\(\bigl\lvert x^2 + y^2 \bigr\rvert\)
\(\Bigl\lvert x^2 + y^2 \Bigr\rvert\)

\(\bigl\{ \bigl\lvert x^2 + y^2 \bigr\rvert  \mathrel{\big|}  5|x \wedge 7|y \bigr\}\)
\(\Bigl\{ \bigl\lvert x^2 + y^2 \bigr\rvert  \mathrel{\Big|}  5|x \wedge 7|y \Bigr\}\)

\(a/b \big/ c/d  \Big/  e/f \big/ g/h\)

\end{document}

В первой строке формулы середины/правши были созданы с помощью \bigи \Big, соответственно. Во второй строке левый набор использует \bigдля разделителей набора и его середины, а правый набор использует \Bigдля них. Мне нужно что-то большее, чем , \bigно не такое огромное, как \Big.

Я на самом деле не прошу никого исправить это для меня, что, как я подозреваю, было бы нетривиальной задачей. Я спрашиваю об инфраструктуре для этого и любых возможных будущих расширениях.

Answer 1

Тебе нужнонет \bigXдля абсолютного значения, выход

\lvert x^{3}+y^{3}\rvert

как раз правильно. То же самое касается выражений в скобках, таких как

(x+y)(x-y)(x^{2}+y^{2})=x^{4}+y^{4}

где \bigXдля последнего фактора было бы даже неправильно: сравните результаты, во второй строке я использовал\bigl(x^{2}+y^{2}\bigr)

У меня нет никаких сомнений, что верхний вариант правильный, а нижний — нет.

Аналогично, для вашего описания множества я бы использовал \bigXкоманду no. Я бы, вероятно, скорректировал свою нотацию, если бы в описаниях множеств часто встречались полосы для абсолютного значения и делимости, предпочитая двоеточие.

\{\, \lvert x^{3}+y^{3}\rvert : 5\mid x \land 7\mid y\,\}

или, если вы хотите придерживаться планки, я бы увеличил скобки и только разделительную планку:

\bigl\{\, \lvert x^{3}+y^{3}\rvert \bigm| 5\mid x \land 7\mid y\,\bigr\}

(конечно, в любом случае я бы определил для этого макрос)

Двойные скобки редко нуждаются в увеличении размера:

2(x-(x+y))=2(x-x-y)=-2y

производит

что верно, хотя \bigXверсия не будет такой:

Вы ничего не добавляете к ясности, а вместо этого много усложняете. Я не говорю, \biglчто and \bigrникогда не следует использовать; но не в таких простых случаях, как эти. Приберегайте их, когда действительно может возникнуть двусмысленность.

Ваше последнее выражение – это то, что должноникогдапоявляются в математике. Никогда. Никакое типографское устройство не может сделать их понятными. Я называю их «восьмиэтажными выражениями»: учебники для средней школы полны подобных вещей, которые имеют единственный эффект — делают математику абсурдной. Ни один хороший учитель не хотел бы этого. К сожалению, существуют плохие учителя, они используют «восьмиэтажные выражения» и не слушают советов.:-(

Последнее замечание: существуют \bigm, \Bigm, \biggmи \Biggm, которые образуют символ бинарного отношения со следующим разделителем.