수학 모드에서 "이중 타격" 대괄호를 어떻게 만듭니까?

Question

나는 LaTeX를 사용하여 몇 가지 증명을 작성하고 있으며 ConTeXt의 표준 절차에 따라 다음과 같이 작성해야 합니다.

그러나 다음과 같이 "이중 괄호"를 만드는 방법을 모르겠습니다 x := y + z.

누구든지 이것에 대해 도움을 줄 수 있습니까?

Answer 1

이중 괄호 기호에는 \llbracket및 \rrbracket패키지 (예: 패키지)를 사용하세요 .fourier

\documentclass{article}


\usepackage{mathtools}    
\usepackage{fourier}

\begin{document}
 $ f_{Z} \llbracket x \coloneqq y + z\rrbracket (\sigma) = [ x \mapsto Z ] (\sigma)$

\end{document}

전체 fourier패키지를 사용하는 것이 너무 많은 경우 기호를 가져오는 것이 옵션일 수 있습니다.'푸리에'에서 하나의 기호 가져오기

다음은 기호를 가져온 버전입니다(코드는 에서 복사됨 fourier.sty).

\documentclass{article}

\usepackage{mathtools}
\DeclareFontEncoding{FML}{}{}%
\DeclareFontSubstitution{FML}{futm}{m}{it}%
\DeclareFontEncoding{FMS}{}{}
\DeclareFontSubstitution{FMS}{futm}{m}{n}
\DeclareFontEncoding{FMX}{}{}
\DeclareFontSubstitution{FMX}{futm}{m}{n}
\DeclareSymbolFont{symbols}{FMS}{futm}{m}{n}%
\DeclareSymbolFont{largesymbols}{FMX}{futm}{m}{n}%

\DeclareMathDelimiter{\llbracket}{\mathopen}{symbols}{153}{largesymbols}{133}
\DeclareMathDelimiter{\rrbracket}{\mathclose}{symbols}{154}{largesymbols}{134}


\begin{document}
$ f_{Z} \llbracket x \coloneqq y + z\rrbracket (\sigma) = [ x \mapsto Z ] (\sigma)$

\end{document}

스크린샷에서 일반 기호 등 f의 차이점을 확인하시기 바랍니다 .x

Answer 2

\documentclass[a4paper,12pt]{article}

\usepackage{stmaryrd}

\begin{document}

\begin{equation}
  f_Z\llbracket  x: y z t   \rrbracket      
\end{equation}

\end{document}

Answer 3

fourier및 stmaryd패키지 외에도 mathabx패키지는 "이중 타격" 대괄호도 제공합니다. 매크로 이름은 각각 \ldbrack및 입니다 \rdbrack.

\documentclass{article}
\usepackage{mathabx} % for `\ldbrack` and `\rdbrack` macros
\begin{document}
$ f_{Z} \ldbrack x := y + z\rdbrack (\sigma) = [x\mapsto Z]\sigma$     
\end{document}

Answer 4

기본 기호 글꼴을 바꾸지 않으려면 mathabx다음 코드를 사용하여 확장 가능한 기호에 대해서만 명령을 정의할 수 있습니다.

\documentclass{article}
\usepackage{mathtools}

\DeclareFontFamily{U}{matha}{\hyphenchar\font45}
\DeclareFontShape{U}{matha}{m}{n}{ <-6> matha5 <6-7> matha6 <7-8>
matha7 <8-9> matha8 <9-10> matha9 <10-12> matha10 <12-> matha12 }{}
\DeclareSymbolFont{matha}{U}{matha}{m}{n}
%
\DeclareFontFamily{U}{mathx}{\hyphenchar\font45}
\DeclareFontShape{U}{mathx}{m}{n}{ <-6> mathx5 <6-7> mathx6 <7-8>
mathx7 <8-9> mathx8 <9-10> mathx9 <10-12> mathx10 <12-> mathx12 }{}
\DeclareSymbolFont{mathx}{U}{mathx}{m}{n}

\DeclareMathDelimiter{\ldbrack} {4}{matha}{"76}{mathx}{"30}
\DeclareMathDelimiter{\rdbrack} {5}{matha}{"77}{mathx}{"38}

\begin{document}

    \[ f_{Z} \bigl\ldbrack x \coloneqq y + z\bigr\rdbrack(\sigma) = [x\mapsto Z]\sigma \]

\end{document} 

또한 사용하지 마십시오 :=. 콜론이 수학 축의 중앙에 위치하지 않습니다. 표준 글꼴을 사용하여 올바른 버전을 생성하는 명령을 mathtools정의합니다 .\coloneqq