Cayley's Matrix NotationChecking whether or not a node has been previously definedMath notation and FontsDouble vertical bar notation“Where” notation in definitionNotation for multivariate normalWhich “bold” style is recommended for matrix notation?Math notation in LaTeX?Physics notationPercent notationSummation notation with an incrementUsing printeranswers environment, how to print solutions in the box without the title “Solutions”

Von Neumann Extractor - Which bit is retained?

How do I deal with a coworker that keeps asking to make small superficial changes to a report, and it is seriously triggering my anxiety?

Are there moral objections to a life motivated purely by money? How to sway a person from this lifestyle?

What is the unit of time_lock_delta in LND?

Why do distances seem to matter in the Foundation world?

Was Dennis Ritchie being too modest in this quote about C and Pascal?

How can I practically buy stocks?

What is the term for a person whose job is to place products on shelves in stores?

My bank got bought out, am I now going to have to start filing tax returns in a different state?

What was Apollo 13's "Little Jolt" after MECO?

std::unique_ptr of base class holding reference of derived class does not show warning in gcc compiler while naked pointer shows it. Why?

How do I produce this Greek letter koppa: Ϟ in pdfLaTeX?

Why did C use the -> operator instead of reusing the . operator?

How to have a sharp product image?

"Whatever a Russian does, they end up making the Kalashnikov gun"? Are there any similar proverbs in English?

As an international instructor, should I openly talk about my accent?

Co-worker works way more than he should

What to do with someone that cheated their way through university and a PhD program?

Is Diceware more secure than a long passphrase?

Complex numbers z=-3-4i polar form

What does MLD stand for?

Will I lose my paid in full property

What is the most expensive material in the world that could be used to create Pun-Pun's lute?

Suing a Police Officer Instead of the Police Department



Cayley's Matrix Notation


Checking whether or not a node has been previously definedMath notation and FontsDouble vertical bar notation“Where” notation in definitionNotation for multivariate normalWhich “bold” style is recommended for matrix notation?Math notation in LaTeX?Physics notationPercent notationSummation notation with an incrementUsing printeranswers environment, how to print solutions in the box without the title “Solutions”













3















Cayley used the following notation in his original paper
A Memoir on the Theory of Matrices 1



enter image description here



My attempt to reproduce the notation is shown below:



documentclassarticle
usepackageamsmath,amssymb,graphicx
begindocument
scalebox2.5parbox0.3textwidth$$
renewcommandarraystretch0setlengtharraycolsep0pt
(mathrmX, mathrmY, mathrmZ)=lower10pthbox$beginarrayr@c@,mkern10muc @,mkern10muc@,mkern10muc l
( &a &b & c & )\
lvert& a' &b' & c' &rvert\
lvert& a'' & b'' & c'' & rvert\
endarray$mkern-6mu(x,y,z),
$$
enddocument


As you will observe the delimiters need to be improved. Any suggestions?










share|improve this question






















  • is it just my eyes or am I right in thinking that on its own the () are symmetric pair but the overlapping )( symbol is using thinner more rounded )( to get more of an overlap so not using the matching parens for the outer borders of the matrices....

    – David Carlisle
    2 hours ago











  • more $(1,2,3between 4,5,6)$ than $(1,2,3)!( 4,5,6)$

    – David Carlisle
    2 hours ago











  • @DavidCarlisle No it is the same thickness. There is a link to the Royal Society paper jstor.org/stable/pdf/108649.pdf

    – Yiannis Lazarides
    2 hours ago















3















Cayley used the following notation in his original paper
A Memoir on the Theory of Matrices 1



enter image description here



My attempt to reproduce the notation is shown below:



documentclassarticle
usepackageamsmath,amssymb,graphicx
begindocument
scalebox2.5parbox0.3textwidth$$
renewcommandarraystretch0setlengtharraycolsep0pt
(mathrmX, mathrmY, mathrmZ)=lower10pthbox$beginarrayr@c@,mkern10muc @,mkern10muc@,mkern10muc l
( &a &b & c & )\
lvert& a' &b' & c' &rvert\
lvert& a'' & b'' & c'' & rvert\
endarray$mkern-6mu(x,y,z),
$$
enddocument


As you will observe the delimiters need to be improved. Any suggestions?










share|improve this question






















  • is it just my eyes or am I right in thinking that on its own the () are symmetric pair but the overlapping )( symbol is using thinner more rounded )( to get more of an overlap so not using the matching parens for the outer borders of the matrices....

    – David Carlisle
    2 hours ago











  • more $(1,2,3between 4,5,6)$ than $(1,2,3)!( 4,5,6)$

    – David Carlisle
    2 hours ago











  • @DavidCarlisle No it is the same thickness. There is a link to the Royal Society paper jstor.org/stable/pdf/108649.pdf

    – Yiannis Lazarides
    2 hours ago













3












3








3


2






Cayley used the following notation in his original paper
A Memoir on the Theory of Matrices 1



enter image description here



My attempt to reproduce the notation is shown below:



documentclassarticle
usepackageamsmath,amssymb,graphicx
begindocument
scalebox2.5parbox0.3textwidth$$
renewcommandarraystretch0setlengtharraycolsep0pt
(mathrmX, mathrmY, mathrmZ)=lower10pthbox$beginarrayr@c@,mkern10muc @,mkern10muc@,mkern10muc l
( &a &b & c & )\
lvert& a' &b' & c' &rvert\
lvert& a'' & b'' & c'' & rvert\
endarray$mkern-6mu(x,y,z),
$$
enddocument


As you will observe the delimiters need to be improved. Any suggestions?










share|improve this question














Cayley used the following notation in his original paper
A Memoir on the Theory of Matrices 1



enter image description here



My attempt to reproduce the notation is shown below:



documentclassarticle
usepackageamsmath,amssymb,graphicx
begindocument
scalebox2.5parbox0.3textwidth$$
renewcommandarraystretch0setlengtharraycolsep0pt
(mathrmX, mathrmY, mathrmZ)=lower10pthbox$beginarrayr@c@,mkern10muc @,mkern10muc@,mkern10muc l
( &a &b & c & )\
lvert& a' &b' & c' &rvert\
lvert& a'' & b'' & c'' & rvert\
endarray$mkern-6mu(x,y,z),
$$
enddocument


As you will observe the delimiters need to be improved. Any suggestions?







math-mode






share|improve this question













share|improve this question











share|improve this question




share|improve this question










asked 3 hours ago









Yiannis LazaridesYiannis Lazarides

93k21235516




93k21235516












  • is it just my eyes or am I right in thinking that on its own the () are symmetric pair but the overlapping )( symbol is using thinner more rounded )( to get more of an overlap so not using the matching parens for the outer borders of the matrices....

    – David Carlisle
    2 hours ago











  • more $(1,2,3between 4,5,6)$ than $(1,2,3)!( 4,5,6)$

    – David Carlisle
    2 hours ago











  • @DavidCarlisle No it is the same thickness. There is a link to the Royal Society paper jstor.org/stable/pdf/108649.pdf

    – Yiannis Lazarides
    2 hours ago

















  • is it just my eyes or am I right in thinking that on its own the () are symmetric pair but the overlapping )( symbol is using thinner more rounded )( to get more of an overlap so not using the matching parens for the outer borders of the matrices....

    – David Carlisle
    2 hours ago











  • more $(1,2,3between 4,5,6)$ than $(1,2,3)!( 4,5,6)$

    – David Carlisle
    2 hours ago











  • @DavidCarlisle No it is the same thickness. There is a link to the Royal Society paper jstor.org/stable/pdf/108649.pdf

    – Yiannis Lazarides
    2 hours ago
















is it just my eyes or am I right in thinking that on its own the () are symmetric pair but the overlapping )( symbol is using thinner more rounded )( to get more of an overlap so not using the matching parens for the outer borders of the matrices....

– David Carlisle
2 hours ago





is it just my eyes or am I right in thinking that on its own the () are symmetric pair but the overlapping )( symbol is using thinner more rounded )( to get more of an overlap so not using the matching parens for the outer borders of the matrices....

– David Carlisle
2 hours ago













more $(1,2,3between 4,5,6)$ than $(1,2,3)!( 4,5,6)$

– David Carlisle
2 hours ago





more $(1,2,3between 4,5,6)$ than $(1,2,3)!( 4,5,6)$

– David Carlisle
2 hours ago













@DavidCarlisle No it is the same thickness. There is a link to the Royal Society paper jstor.org/stable/pdf/108649.pdf

– Yiannis Lazarides
2 hours ago





@DavidCarlisle No it is the same thickness. There is a link to the Royal Society paper jstor.org/stable/pdf/108649.pdf

– Yiannis Lazarides
2 hours ago










4 Answers
4






active

oldest

votes


















1














Here is an approximation, with basic commands:



documentclassarticle
usepackageamsmath,amssymb,graphicx

begindocument

[ beginarrayc@ccc@c
(mkern 4.2mu & a &b & c &mkern 4.2mu)\[-0.31ex]
vline & a' &b' & c' & vline \
vline & a'' &b'' & c''& vline
endarray ]%

enddocument


enter image description here






share|improve this answer






























    1














    My proposal:



    documentclassarticle
    usepackageamsmath,amssymb,graphicx

    DeclareMathSymbolAmathalphaoperators`A
    DeclareMathSymbolBmathalphaoperators`B
    DeclareMathSymbolCmathalphaoperators`C
    DeclareMathSymbolDmathalphaoperators`D
    DeclareMathSymbolEmathalphaoperators`E
    DeclareMathSymbolFmathalphaoperators`F
    DeclareMathSymbolGmathalphaoperators`G
    DeclareMathSymbolHmathalphaoperators`H
    DeclareMathSymbolImathalphaoperators`I
    DeclareMathSymbolJmathalphaoperators`J
    DeclareMathSymbolKmathalphaoperators`K
    DeclareMathSymbolLmathalphaoperators`L
    DeclareMathSymbolMmathalphaoperators`M
    DeclareMathSymbolNmathalphaoperators`N
    DeclareMathSymbolOmathalphaoperators`O
    DeclareMathSymbolPmathalphaoperators`P
    DeclareMathSymbolQmathalphaoperators`Q
    DeclareMathSymbolRmathalphaoperators`R
    DeclareMathSymbolSmathalphaoperators`S
    DeclareMathSymbolTmathalphaoperators`T
    DeclareMathSymbolUmathalphaoperators`U
    DeclareMathSymbolVmathalphaoperators`V
    DeclareMathSymbolWmathalphaoperators`W
    DeclareMathSymbolXmathalphaoperators`X
    DeclareMathSymbolYmathalphaoperators`Y
    DeclareMathSymbolZmathalphaoperators`Z


    newsaveboxcayleybox
    newlengthcayleyheight
    newenvironmentcayleymatrix[1]
    beginlrboxcayleybox
    $beginarray@enspacel*numexpr#1-1@,enspacel@enspace
    endarray$endlrbox%
    setlengthcayleyheightdimexprhtcayleybox+dpcayleybox%
    kern-0.8pt
    vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
    raiseboxdimexprhtstrutbox-htcayleyboxuseboxcayleybox%
    vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
    kern-0.8pt

    newcommandbykern-0.4ptbetweenkern-0.4pt

    thinmuskip=6mu
    medmuskip=0mu
    thickmuskip=0mu

    begindocument

    [ % page 17
    (X,Y,Z)=
    (begincayleymatrix3
    a & b & c \
    a' & b' & c' \
    a'' & b'' & c''
    endcayleymatrix
    by x,y,z)
    ]

    [ % page 32
    (begincayleymatrix2 a & c \ b & d endcayleymatrix by
    begincayleymatrix2 a & b \ c & d endcayleymatrix by
    begincayleymatrix2 a & c \ b & d endcayleymatrix by
    begincayleymatrix2 a & b \ c & d endcayleymatrix )
    =
    bigl(
    (begincayleymatrix2 a & c \ b & d endcayleymatrixby
    begincayleymatrix2 a & b \ c & d endcayleymatrix)
    bigr)^2
    ]

    enddocument


    enter image description here






    share|improve this answer






























      1














      Extending Bernard's idea slightly:



      enter image description here



      ...but not quite up to the standards of egreg's nice solution:)



      documentclassarticle
      usepackagearray
      newcountercayley
      newcolumntypeL>stepcountercayley%
      ifnumvaluecayley=1raisebox-0.4ex(kern0.5exelsevlinefic@
      newcolumntypeR@c<spaceifnumvaluecayley=1kern0.5exraisebox-0.4ex)elsevlinefi
      newenvironmentcayley[1][3]setcountercayley0arrayL*#1cRendarray

      begindocument

      [
      begincayley
      &a & b & c &\
      &a' & b' & c' &\
      &a''& b''& c''&\
      endcayley
      qquad
      begincayley[4]
      &a & b & c & d &\
      &a' & b' & c' & d' &\
      &a''& b''& c''& d''&\
      endcayley
      ]

      enddocument





      share|improve this answer






























        0














        A TikZ proposal. Similarly to Andrew's nice answer you can focus on typing the matrix.



        documentclassarticle
        usepackagetikz
        makeatletter% https://tex.stackexchange.com/a/85531/121799
        longdefifnodedefined#1#2#3%
        @ifundefinedpgf@sh@ns@#1#3#2%

        makeatother
        newcounterCM
        usetikzlibrarymatrix
        newcommandCayleyMatrix[2][]stepcounterCM%
        begintikzpicture[baseline=(mat-numbervalueCM-1-1.base),inner sep=2pt,#1]
        matrix[matrix of math nodes,ampersand replacement=&] (mat-numbervalueCM)
        #2
        ;
        ifnodedefinedmat-numbervalueCM-2-1-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
        (mat-numbervalueCM.south west-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
        (mat-numbervalueCM.south west
        endtikzpicture
        begindocument
        [CayleyMatrix
        X &Y & Z \
        =CayleyMatrix
        a &b & c \
        a' &b' & c' \
        a'' & b'' & c'' \
        !!CayleyMatrix
        x &y & z \
        ]
        enddocument


        enter image description here






        share|improve this answer























          Your Answer








          StackExchange.ready(function()
          var channelOptions =
          tags: "".split(" "),
          id: "85"
          ;
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function()
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled)
          StackExchange.using("snippets", function()
          createEditor();
          );

          else
          createEditor();

          );

          function createEditor()
          StackExchange.prepareEditor(
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: false,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: null,
          bindNavPrevention: true,
          postfix: "",
          imageUploader:
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          ,
          onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f487643%2fcayleys-matrix-notation%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          4 Answers
          4






          active

          oldest

          votes








          4 Answers
          4






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1














          Here is an approximation, with basic commands:



          documentclassarticle
          usepackageamsmath,amssymb,graphicx

          begindocument

          [ beginarrayc@ccc@c
          (mkern 4.2mu & a &b & c &mkern 4.2mu)\[-0.31ex]
          vline & a' &b' & c' & vline \
          vline & a'' &b'' & c''& vline
          endarray ]%

          enddocument


          enter image description here






          share|improve this answer



























            1














            Here is an approximation, with basic commands:



            documentclassarticle
            usepackageamsmath,amssymb,graphicx

            begindocument

            [ beginarrayc@ccc@c
            (mkern 4.2mu & a &b & c &mkern 4.2mu)\[-0.31ex]
            vline & a' &b' & c' & vline \
            vline & a'' &b'' & c''& vline
            endarray ]%

            enddocument


            enter image description here






            share|improve this answer

























              1












              1








              1







              Here is an approximation, with basic commands:



              documentclassarticle
              usepackageamsmath,amssymb,graphicx

              begindocument

              [ beginarrayc@ccc@c
              (mkern 4.2mu & a &b & c &mkern 4.2mu)\[-0.31ex]
              vline & a' &b' & c' & vline \
              vline & a'' &b'' & c''& vline
              endarray ]%

              enddocument


              enter image description here






              share|improve this answer













              Here is an approximation, with basic commands:



              documentclassarticle
              usepackageamsmath,amssymb,graphicx

              begindocument

              [ beginarrayc@ccc@c
              (mkern 4.2mu & a &b & c &mkern 4.2mu)\[-0.31ex]
              vline & a' &b' & c' & vline \
              vline & a'' &b'' & c''& vline
              endarray ]%

              enddocument


              enter image description here







              share|improve this answer












              share|improve this answer



              share|improve this answer










              answered 1 hour ago









              BernardBernard

              177k779211




              177k779211





















                  1














                  My proposal:



                  documentclassarticle
                  usepackageamsmath,amssymb,graphicx

                  DeclareMathSymbolAmathalphaoperators`A
                  DeclareMathSymbolBmathalphaoperators`B
                  DeclareMathSymbolCmathalphaoperators`C
                  DeclareMathSymbolDmathalphaoperators`D
                  DeclareMathSymbolEmathalphaoperators`E
                  DeclareMathSymbolFmathalphaoperators`F
                  DeclareMathSymbolGmathalphaoperators`G
                  DeclareMathSymbolHmathalphaoperators`H
                  DeclareMathSymbolImathalphaoperators`I
                  DeclareMathSymbolJmathalphaoperators`J
                  DeclareMathSymbolKmathalphaoperators`K
                  DeclareMathSymbolLmathalphaoperators`L
                  DeclareMathSymbolMmathalphaoperators`M
                  DeclareMathSymbolNmathalphaoperators`N
                  DeclareMathSymbolOmathalphaoperators`O
                  DeclareMathSymbolPmathalphaoperators`P
                  DeclareMathSymbolQmathalphaoperators`Q
                  DeclareMathSymbolRmathalphaoperators`R
                  DeclareMathSymbolSmathalphaoperators`S
                  DeclareMathSymbolTmathalphaoperators`T
                  DeclareMathSymbolUmathalphaoperators`U
                  DeclareMathSymbolVmathalphaoperators`V
                  DeclareMathSymbolWmathalphaoperators`W
                  DeclareMathSymbolXmathalphaoperators`X
                  DeclareMathSymbolYmathalphaoperators`Y
                  DeclareMathSymbolZmathalphaoperators`Z


                  newsaveboxcayleybox
                  newlengthcayleyheight
                  newenvironmentcayleymatrix[1]
                  beginlrboxcayleybox
                  $beginarray@enspacel*numexpr#1-1@,enspacel@enspace
                  endarray$endlrbox%
                  setlengthcayleyheightdimexprhtcayleybox+dpcayleybox%
                  kern-0.8pt
                  vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
                  raiseboxdimexprhtstrutbox-htcayleyboxuseboxcayleybox%
                  vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
                  kern-0.8pt

                  newcommandbykern-0.4ptbetweenkern-0.4pt

                  thinmuskip=6mu
                  medmuskip=0mu
                  thickmuskip=0mu

                  begindocument

                  [ % page 17
                  (X,Y,Z)=
                  (begincayleymatrix3
                  a & b & c \
                  a' & b' & c' \
                  a'' & b'' & c''
                  endcayleymatrix
                  by x,y,z)
                  ]

                  [ % page 32
                  (begincayleymatrix2 a & c \ b & d endcayleymatrix by
                  begincayleymatrix2 a & b \ c & d endcayleymatrix by
                  begincayleymatrix2 a & c \ b & d endcayleymatrix by
                  begincayleymatrix2 a & b \ c & d endcayleymatrix )
                  =
                  bigl(
                  (begincayleymatrix2 a & c \ b & d endcayleymatrixby
                  begincayleymatrix2 a & b \ c & d endcayleymatrix)
                  bigr)^2
                  ]

                  enddocument


                  enter image description here






                  share|improve this answer



























                    1














                    My proposal:



                    documentclassarticle
                    usepackageamsmath,amssymb,graphicx

                    DeclareMathSymbolAmathalphaoperators`A
                    DeclareMathSymbolBmathalphaoperators`B
                    DeclareMathSymbolCmathalphaoperators`C
                    DeclareMathSymbolDmathalphaoperators`D
                    DeclareMathSymbolEmathalphaoperators`E
                    DeclareMathSymbolFmathalphaoperators`F
                    DeclareMathSymbolGmathalphaoperators`G
                    DeclareMathSymbolHmathalphaoperators`H
                    DeclareMathSymbolImathalphaoperators`I
                    DeclareMathSymbolJmathalphaoperators`J
                    DeclareMathSymbolKmathalphaoperators`K
                    DeclareMathSymbolLmathalphaoperators`L
                    DeclareMathSymbolMmathalphaoperators`M
                    DeclareMathSymbolNmathalphaoperators`N
                    DeclareMathSymbolOmathalphaoperators`O
                    DeclareMathSymbolPmathalphaoperators`P
                    DeclareMathSymbolQmathalphaoperators`Q
                    DeclareMathSymbolRmathalphaoperators`R
                    DeclareMathSymbolSmathalphaoperators`S
                    DeclareMathSymbolTmathalphaoperators`T
                    DeclareMathSymbolUmathalphaoperators`U
                    DeclareMathSymbolVmathalphaoperators`V
                    DeclareMathSymbolWmathalphaoperators`W
                    DeclareMathSymbolXmathalphaoperators`X
                    DeclareMathSymbolYmathalphaoperators`Y
                    DeclareMathSymbolZmathalphaoperators`Z


                    newsaveboxcayleybox
                    newlengthcayleyheight
                    newenvironmentcayleymatrix[1]
                    beginlrboxcayleybox
                    $beginarray@enspacel*numexpr#1-1@,enspacel@enspace
                    endarray$endlrbox%
                    setlengthcayleyheightdimexprhtcayleybox+dpcayleybox%
                    kern-0.8pt
                    vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
                    raiseboxdimexprhtstrutbox-htcayleyboxuseboxcayleybox%
                    vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
                    kern-0.8pt

                    newcommandbykern-0.4ptbetweenkern-0.4pt

                    thinmuskip=6mu
                    medmuskip=0mu
                    thickmuskip=0mu

                    begindocument

                    [ % page 17
                    (X,Y,Z)=
                    (begincayleymatrix3
                    a & b & c \
                    a' & b' & c' \
                    a'' & b'' & c''
                    endcayleymatrix
                    by x,y,z)
                    ]

                    [ % page 32
                    (begincayleymatrix2 a & c \ b & d endcayleymatrix by
                    begincayleymatrix2 a & b \ c & d endcayleymatrix by
                    begincayleymatrix2 a & c \ b & d endcayleymatrix by
                    begincayleymatrix2 a & b \ c & d endcayleymatrix )
                    =
                    bigl(
                    (begincayleymatrix2 a & c \ b & d endcayleymatrixby
                    begincayleymatrix2 a & b \ c & d endcayleymatrix)
                    bigr)^2
                    ]

                    enddocument


                    enter image description here






                    share|improve this answer

























                      1












                      1








                      1







                      My proposal:



                      documentclassarticle
                      usepackageamsmath,amssymb,graphicx

                      DeclareMathSymbolAmathalphaoperators`A
                      DeclareMathSymbolBmathalphaoperators`B
                      DeclareMathSymbolCmathalphaoperators`C
                      DeclareMathSymbolDmathalphaoperators`D
                      DeclareMathSymbolEmathalphaoperators`E
                      DeclareMathSymbolFmathalphaoperators`F
                      DeclareMathSymbolGmathalphaoperators`G
                      DeclareMathSymbolHmathalphaoperators`H
                      DeclareMathSymbolImathalphaoperators`I
                      DeclareMathSymbolJmathalphaoperators`J
                      DeclareMathSymbolKmathalphaoperators`K
                      DeclareMathSymbolLmathalphaoperators`L
                      DeclareMathSymbolMmathalphaoperators`M
                      DeclareMathSymbolNmathalphaoperators`N
                      DeclareMathSymbolOmathalphaoperators`O
                      DeclareMathSymbolPmathalphaoperators`P
                      DeclareMathSymbolQmathalphaoperators`Q
                      DeclareMathSymbolRmathalphaoperators`R
                      DeclareMathSymbolSmathalphaoperators`S
                      DeclareMathSymbolTmathalphaoperators`T
                      DeclareMathSymbolUmathalphaoperators`U
                      DeclareMathSymbolVmathalphaoperators`V
                      DeclareMathSymbolWmathalphaoperators`W
                      DeclareMathSymbolXmathalphaoperators`X
                      DeclareMathSymbolYmathalphaoperators`Y
                      DeclareMathSymbolZmathalphaoperators`Z


                      newsaveboxcayleybox
                      newlengthcayleyheight
                      newenvironmentcayleymatrix[1]
                      beginlrboxcayleybox
                      $beginarray@enspacel*numexpr#1-1@,enspacel@enspace
                      endarray$endlrbox%
                      setlengthcayleyheightdimexprhtcayleybox+dpcayleybox%
                      kern-0.8pt
                      vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
                      raiseboxdimexprhtstrutbox-htcayleyboxuseboxcayleybox%
                      vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
                      kern-0.8pt

                      newcommandbykern-0.4ptbetweenkern-0.4pt

                      thinmuskip=6mu
                      medmuskip=0mu
                      thickmuskip=0mu

                      begindocument

                      [ % page 17
                      (X,Y,Z)=
                      (begincayleymatrix3
                      a & b & c \
                      a' & b' & c' \
                      a'' & b'' & c''
                      endcayleymatrix
                      by x,y,z)
                      ]

                      [ % page 32
                      (begincayleymatrix2 a & c \ b & d endcayleymatrix by
                      begincayleymatrix2 a & b \ c & d endcayleymatrix by
                      begincayleymatrix2 a & c \ b & d endcayleymatrix by
                      begincayleymatrix2 a & b \ c & d endcayleymatrix )
                      =
                      bigl(
                      (begincayleymatrix2 a & c \ b & d endcayleymatrixby
                      begincayleymatrix2 a & b \ c & d endcayleymatrix)
                      bigr)^2
                      ]

                      enddocument


                      enter image description here






                      share|improve this answer













                      My proposal:



                      documentclassarticle
                      usepackageamsmath,amssymb,graphicx

                      DeclareMathSymbolAmathalphaoperators`A
                      DeclareMathSymbolBmathalphaoperators`B
                      DeclareMathSymbolCmathalphaoperators`C
                      DeclareMathSymbolDmathalphaoperators`D
                      DeclareMathSymbolEmathalphaoperators`E
                      DeclareMathSymbolFmathalphaoperators`F
                      DeclareMathSymbolGmathalphaoperators`G
                      DeclareMathSymbolHmathalphaoperators`H
                      DeclareMathSymbolImathalphaoperators`I
                      DeclareMathSymbolJmathalphaoperators`J
                      DeclareMathSymbolKmathalphaoperators`K
                      DeclareMathSymbolLmathalphaoperators`L
                      DeclareMathSymbolMmathalphaoperators`M
                      DeclareMathSymbolNmathalphaoperators`N
                      DeclareMathSymbolOmathalphaoperators`O
                      DeclareMathSymbolPmathalphaoperators`P
                      DeclareMathSymbolQmathalphaoperators`Q
                      DeclareMathSymbolRmathalphaoperators`R
                      DeclareMathSymbolSmathalphaoperators`S
                      DeclareMathSymbolTmathalphaoperators`T
                      DeclareMathSymbolUmathalphaoperators`U
                      DeclareMathSymbolVmathalphaoperators`V
                      DeclareMathSymbolWmathalphaoperators`W
                      DeclareMathSymbolXmathalphaoperators`X
                      DeclareMathSymbolYmathalphaoperators`Y
                      DeclareMathSymbolZmathalphaoperators`Z


                      newsaveboxcayleybox
                      newlengthcayleyheight
                      newenvironmentcayleymatrix[1]
                      beginlrboxcayleybox
                      $beginarray@enspacel*numexpr#1-1@,enspacel@enspace
                      endarray$endlrbox%
                      setlengthcayleyheightdimexprhtcayleybox+dpcayleybox%
                      kern-0.8pt
                      vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
                      raiseboxdimexprhtstrutbox-htcayleyboxuseboxcayleybox%
                      vtop to cayleyheighthboxvphantom$between$leadersvrulevfill%
                      kern-0.8pt

                      newcommandbykern-0.4ptbetweenkern-0.4pt

                      thinmuskip=6mu
                      medmuskip=0mu
                      thickmuskip=0mu

                      begindocument

                      [ % page 17
                      (X,Y,Z)=
                      (begincayleymatrix3
                      a & b & c \
                      a' & b' & c' \
                      a'' & b'' & c''
                      endcayleymatrix
                      by x,y,z)
                      ]

                      [ % page 32
                      (begincayleymatrix2 a & c \ b & d endcayleymatrix by
                      begincayleymatrix2 a & b \ c & d endcayleymatrix by
                      begincayleymatrix2 a & c \ b & d endcayleymatrix by
                      begincayleymatrix2 a & b \ c & d endcayleymatrix )
                      =
                      bigl(
                      (begincayleymatrix2 a & c \ b & d endcayleymatrixby
                      begincayleymatrix2 a & b \ c & d endcayleymatrix)
                      bigr)^2
                      ]

                      enddocument


                      enter image description here







                      share|improve this answer












                      share|improve this answer



                      share|improve this answer










                      answered 1 hour ago









                      egregegreg

                      737k8919363264




                      737k8919363264





















                          1














                          Extending Bernard's idea slightly:



                          enter image description here



                          ...but not quite up to the standards of egreg's nice solution:)



                          documentclassarticle
                          usepackagearray
                          newcountercayley
                          newcolumntypeL>stepcountercayley%
                          ifnumvaluecayley=1raisebox-0.4ex(kern0.5exelsevlinefic@
                          newcolumntypeR@c<spaceifnumvaluecayley=1kern0.5exraisebox-0.4ex)elsevlinefi
                          newenvironmentcayley[1][3]setcountercayley0arrayL*#1cRendarray

                          begindocument

                          [
                          begincayley
                          &a & b & c &\
                          &a' & b' & c' &\
                          &a''& b''& c''&\
                          endcayley
                          qquad
                          begincayley[4]
                          &a & b & c & d &\
                          &a' & b' & c' & d' &\
                          &a''& b''& c''& d''&\
                          endcayley
                          ]

                          enddocument





                          share|improve this answer



























                            1














                            Extending Bernard's idea slightly:



                            enter image description here



                            ...but not quite up to the standards of egreg's nice solution:)



                            documentclassarticle
                            usepackagearray
                            newcountercayley
                            newcolumntypeL>stepcountercayley%
                            ifnumvaluecayley=1raisebox-0.4ex(kern0.5exelsevlinefic@
                            newcolumntypeR@c<spaceifnumvaluecayley=1kern0.5exraisebox-0.4ex)elsevlinefi
                            newenvironmentcayley[1][3]setcountercayley0arrayL*#1cRendarray

                            begindocument

                            [
                            begincayley
                            &a & b & c &\
                            &a' & b' & c' &\
                            &a''& b''& c''&\
                            endcayley
                            qquad
                            begincayley[4]
                            &a & b & c & d &\
                            &a' & b' & c' & d' &\
                            &a''& b''& c''& d''&\
                            endcayley
                            ]

                            enddocument





                            share|improve this answer

























                              1












                              1








                              1







                              Extending Bernard's idea slightly:



                              enter image description here



                              ...but not quite up to the standards of egreg's nice solution:)



                              documentclassarticle
                              usepackagearray
                              newcountercayley
                              newcolumntypeL>stepcountercayley%
                              ifnumvaluecayley=1raisebox-0.4ex(kern0.5exelsevlinefic@
                              newcolumntypeR@c<spaceifnumvaluecayley=1kern0.5exraisebox-0.4ex)elsevlinefi
                              newenvironmentcayley[1][3]setcountercayley0arrayL*#1cRendarray

                              begindocument

                              [
                              begincayley
                              &a & b & c &\
                              &a' & b' & c' &\
                              &a''& b''& c''&\
                              endcayley
                              qquad
                              begincayley[4]
                              &a & b & c & d &\
                              &a' & b' & c' & d' &\
                              &a''& b''& c''& d''&\
                              endcayley
                              ]

                              enddocument





                              share|improve this answer













                              Extending Bernard's idea slightly:



                              enter image description here



                              ...but not quite up to the standards of egreg's nice solution:)



                              documentclassarticle
                              usepackagearray
                              newcountercayley
                              newcolumntypeL>stepcountercayley%
                              ifnumvaluecayley=1raisebox-0.4ex(kern0.5exelsevlinefic@
                              newcolumntypeR@c<spaceifnumvaluecayley=1kern0.5exraisebox-0.4ex)elsevlinefi
                              newenvironmentcayley[1][3]setcountercayley0arrayL*#1cRendarray

                              begindocument

                              [
                              begincayley
                              &a & b & c &\
                              &a' & b' & c' &\
                              &a''& b''& c''&\
                              endcayley
                              qquad
                              begincayley[4]
                              &a & b & c & d &\
                              &a' & b' & c' & d' &\
                              &a''& b''& c''& d''&\
                              endcayley
                              ]

                              enddocument






                              share|improve this answer












                              share|improve this answer



                              share|improve this answer










                              answered 36 mins ago









                              AndrewAndrew

                              31.4k34483




                              31.4k34483





















                                  0














                                  A TikZ proposal. Similarly to Andrew's nice answer you can focus on typing the matrix.



                                  documentclassarticle
                                  usepackagetikz
                                  makeatletter% https://tex.stackexchange.com/a/85531/121799
                                  longdefifnodedefined#1#2#3%
                                  @ifundefinedpgf@sh@ns@#1#3#2%

                                  makeatother
                                  newcounterCM
                                  usetikzlibrarymatrix
                                  newcommandCayleyMatrix[2][]stepcounterCM%
                                  begintikzpicture[baseline=(mat-numbervalueCM-1-1.base),inner sep=2pt,#1]
                                  matrix[matrix of math nodes,ampersand replacement=&] (mat-numbervalueCM)
                                  #2
                                  ;
                                  ifnodedefinedmat-numbervalueCM-2-1-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
                                  (mat-numbervalueCM.south west-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
                                  (mat-numbervalueCM.south west
                                  endtikzpicture
                                  begindocument
                                  [CayleyMatrix
                                  X &Y & Z \
                                  =CayleyMatrix
                                  a &b & c \
                                  a' &b' & c' \
                                  a'' & b'' & c'' \
                                  !!CayleyMatrix
                                  x &y & z \
                                  ]
                                  enddocument


                                  enter image description here






                                  share|improve this answer



























                                    0














                                    A TikZ proposal. Similarly to Andrew's nice answer you can focus on typing the matrix.



                                    documentclassarticle
                                    usepackagetikz
                                    makeatletter% https://tex.stackexchange.com/a/85531/121799
                                    longdefifnodedefined#1#2#3%
                                    @ifundefinedpgf@sh@ns@#1#3#2%

                                    makeatother
                                    newcounterCM
                                    usetikzlibrarymatrix
                                    newcommandCayleyMatrix[2][]stepcounterCM%
                                    begintikzpicture[baseline=(mat-numbervalueCM-1-1.base),inner sep=2pt,#1]
                                    matrix[matrix of math nodes,ampersand replacement=&] (mat-numbervalueCM)
                                    #2
                                    ;
                                    ifnodedefinedmat-numbervalueCM-2-1-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
                                    (mat-numbervalueCM.south west-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
                                    (mat-numbervalueCM.south west
                                    endtikzpicture
                                    begindocument
                                    [CayleyMatrix
                                    X &Y & Z \
                                    =CayleyMatrix
                                    a &b & c \
                                    a' &b' & c' \
                                    a'' & b'' & c'' \
                                    !!CayleyMatrix
                                    x &y & z \
                                    ]
                                    enddocument


                                    enter image description here






                                    share|improve this answer

























                                      0












                                      0








                                      0







                                      A TikZ proposal. Similarly to Andrew's nice answer you can focus on typing the matrix.



                                      documentclassarticle
                                      usepackagetikz
                                      makeatletter% https://tex.stackexchange.com/a/85531/121799
                                      longdefifnodedefined#1#2#3%
                                      @ifundefinedpgf@sh@ns@#1#3#2%

                                      makeatother
                                      newcounterCM
                                      usetikzlibrarymatrix
                                      newcommandCayleyMatrix[2][]stepcounterCM%
                                      begintikzpicture[baseline=(mat-numbervalueCM-1-1.base),inner sep=2pt,#1]
                                      matrix[matrix of math nodes,ampersand replacement=&] (mat-numbervalueCM)
                                      #2
                                      ;
                                      ifnodedefinedmat-numbervalueCM-2-1-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
                                      (mat-numbervalueCM.south west-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
                                      (mat-numbervalueCM.south west
                                      endtikzpicture
                                      begindocument
                                      [CayleyMatrix
                                      X &Y & Z \
                                      =CayleyMatrix
                                      a &b & c \
                                      a' &b' & c' \
                                      a'' & b'' & c'' \
                                      !!CayleyMatrix
                                      x &y & z \
                                      ]
                                      enddocument


                                      enter image description here






                                      share|improve this answer













                                      A TikZ proposal. Similarly to Andrew's nice answer you can focus on typing the matrix.



                                      documentclassarticle
                                      usepackagetikz
                                      makeatletter% https://tex.stackexchange.com/a/85531/121799
                                      longdefifnodedefined#1#2#3%
                                      @ifundefinedpgf@sh@ns@#1#3#2%

                                      makeatother
                                      newcounterCM
                                      usetikzlibrarymatrix
                                      newcommandCayleyMatrix[2][]stepcounterCM%
                                      begintikzpicture[baseline=(mat-numbervalueCM-1-1.base),inner sep=2pt,#1]
                                      matrix[matrix of math nodes,ampersand replacement=&] (mat-numbervalueCM)
                                      #2
                                      ;
                                      ifnodedefinedmat-numbervalueCM-2-1-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
                                      (mat-numbervalueCM.south west-mat-numbervalueCM-1-1.south) to[out=135,in=-135]
                                      (mat-numbervalueCM.south west
                                      endtikzpicture
                                      begindocument
                                      [CayleyMatrix
                                      X &Y & Z \
                                      =CayleyMatrix
                                      a &b & c \
                                      a' &b' & c' \
                                      a'' & b'' & c'' \
                                      !!CayleyMatrix
                                      x &y & z \
                                      ]
                                      enddocument


                                      enter image description here







                                      share|improve this answer












                                      share|improve this answer



                                      share|improve this answer










                                      answered 25 mins ago









                                      marmotmarmot

                                      121k6158296




                                      121k6158296



























                                          draft saved

                                          draft discarded
















































                                          Thanks for contributing an answer to TeX - LaTeX Stack Exchange!


                                          • Please be sure to answer the question. Provide details and share your research!

                                          But avoid


                                          • Asking for help, clarification, or responding to other answers.

                                          • Making statements based on opinion; back them up with references or personal experience.

                                          To learn more, see our tips on writing great answers.




                                          draft saved


                                          draft discarded














                                          StackExchange.ready(
                                          function ()
                                          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f487643%2fcayleys-matrix-notation%23new-answer', 'question_page');

                                          );

                                          Post as a guest















                                          Required, but never shown





















































                                          Required, but never shown














                                          Required, but never shown












                                          Required, but never shown







                                          Required, but never shown

































                                          Required, but never shown














                                          Required, but never shown












                                          Required, but never shown







                                          Required, but never shown







                                          Popular posts from this blog

                                          Dapidodigma demeter Subspecies | Notae | Tabula navigationisDapidodigmaAfrotropical Butterflies: Lycaenidae - Subtribe IolainaAmplifica

                                          Constantinus Vanšenkin Nexus externi | Tabula navigationisБольшая российская энциклопедияAmplifica

                                          Gaius Norbanus Flaccus (consul 38 a.C.n.) Index De gente | De cursu honorum | Notae | Fontes | Si vis plura legere | Tabula navigationisHic legere potes