diff --git a/src/Simulation/TargetDefinitions/Decompositions/CYFromCNOT.qs b/src/Simulation/TargetDefinitions/Decompositions/CYFromCNOT.qs
index 364b4d2c573..d8037d33a2a 100644
--- a/src/Simulation/TargetDefinitions/Decompositions/CYFromCNOT.qs
+++ b/src/Simulation/TargetDefinitions/Decompositions/CYFromCNOT.qs
@@ -11,10 +11,12 @@ namespace Microsoft.Quantum.Canon {
     /// This operation can be simulated by the unitary matrix
     /// $$
     /// \begin{align}
-    ///     1 & 0 & 0 & 0 \\\\
-    ///     0 & 1 & 0 & 0 \\\\
-    ///     0 & 0 & 0 & -i \\\\
-    ///     0 & 0 & i & 0
+    ///     \left(\begin{matrix}
+    ///         1 & 0 & 0 & 0 \\\\
+    ///         0 & 1 & 0 & 0 \\\\
+    ///         0 & 0 & 0 & -i \\\\
+    ///         0 & 0 & i & 0
+    ///      \end{matrix}\right)
     /// \end{align},
     /// $$
     /// where rows and columns are organized as in the quantum concepts guide.
@@ -43,4 +45,4 @@ namespace Microsoft.Quantum.Canon {
         controlled distribute;
         controlled adjoint self;
     }
-}
\ No newline at end of file
+}
diff --git a/src/Simulation/TargetDefinitions/Decompositions/CZFromSinglyControlled.qs b/src/Simulation/TargetDefinitions/Decompositions/CZFromSinglyControlled.qs
index 1c187619a69..a75978e49d2 100644
--- a/src/Simulation/TargetDefinitions/Decompositions/CZFromSinglyControlled.qs
+++ b/src/Simulation/TargetDefinitions/Decompositions/CZFromSinglyControlled.qs
@@ -11,10 +11,12 @@ namespace Microsoft.Quantum.Canon {
     /// This operation can be simulated by the unitary matrix
     /// $$
     /// \begin{align}
-    ///     1 & 0 & 0 & 0 \\\\
-    ///     0 & 1 & 0 & 0 \\\\
-    ///     0 & 0 & 1 & 0 \\\\
-    ///     0 & 0 & 0 & -1
+    ///     \left(\begin{matrix}
+    ///         1 & 0 & 0 & 0 \\\\
+    ///         0 & 1 & 0 & 0 \\\\
+    ///         0 & 0 & 1 & 0 \\\\
+    ///         0 & 0 & 0 & -1
+    ///     \end{matrix}\right)
     /// \end{align},
     /// $$
     /// where rows and columns are organized as in the quantum concepts guide.
@@ -54,4 +56,4 @@ namespace Microsoft.Quantum.Canon {
         }
         adjoint self;
     }
-}
\ No newline at end of file
+}
diff --git a/src/Simulation/TargetDefinitions/Decompositions/R1Frac.qs b/src/Simulation/TargetDefinitions/Decompositions/R1Frac.qs
index 5c96cb77fb7..41242a091ae 100644
--- a/src/Simulation/TargetDefinitions/Decompositions/R1Frac.qs
+++ b/src/Simulation/TargetDefinitions/Decompositions/R1Frac.qs
@@ -15,8 +15,8 @@ namespace Microsoft.Quantum.Intrinsic {
     ///
     /// > [!WARNING]
     /// > This operation uses the **opposite** sign convention from
-    /// > @"microsoft.quantum.intrinsic.r", and does not include the
-    /// > factor of $1/ 2$ included by @"microsoft.quantum.intrinsic.r1".
+    /// > <xref:Microsoft.Quantum.Intrinsic.R>, and does not include the
+    /// > factor of $1/ 2$ included by <xref:Microsoft.Quantum.Intrinsic.R1>.
     ///
     /// # Input
     /// ## numerator
diff --git a/src/Simulation/TargetDefinitions/Decompositions/RFrac.qs b/src/Simulation/TargetDefinitions/Decompositions/RFrac.qs
index 0e199c4874e..350e0e1df52 100644
--- a/src/Simulation/TargetDefinitions/Decompositions/RFrac.qs
+++ b/src/Simulation/TargetDefinitions/Decompositions/RFrac.qs
@@ -18,7 +18,7 @@ namespace Microsoft.Quantum.Intrinsic {
     ///
     /// > [!WARNING]
     /// > This operation uses the **opposite** sign convention from
-    /// > @"microsoft.quantum.intrinsic.r".
+    /// > <xref:Microsoft.Quantum.Intrinsic.R>.
     ///
     /// # Input
     /// ## pauli