Index: doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c
===================================================================
--- doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c	(revision d0296db634a9aed117c2b3772b0e298cd15fe6d5)
+++ doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c	(revision 520fa9e26472c80c05dc91004ccb5b6373b697da)
@@ -51,5 +51,5 @@
 	void f( float (*pa)[10] ) {
 		static_assert( sizeof( *pa ) == 40 ); $\C{// array}$
-		static_assert( sizeof( pa ) == 8 );	$\C{// pointer to array}$
+		static_assert( sizeof( pa ) == 8 ); $\C{// pointer to array}$
 		static_assert( sizeof( (*pa)[0] ) == 4 ); $\C{// first element}$
 		static_assert( sizeof(&((*pa)[0])) == 8 ); $\C{// pointer to first element}$
@@ -58,5 +58,5 @@
 
 	float fs@[]@ = {3.14, 1.77};
-	char cs@[]@ = "hello";    // shorthand for 'h', 'e', 'l', 'l', 'o', '\0'
+	char cs@[]@ = "hello";					// shorthand for { 'h', 'e', 'l', 'l', 'o', '\0' }
 	static_assert( sizeof(fs) == 2 * sizeof(float) );
 	static_assert( sizeof(cs) == 6 * sizeof(char) );  $\C{// 5 letters + 1 null terminator}$
Index: doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c
===================================================================
--- doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c	(revision d0296db634a9aed117c2b3772b0e298cd15fe6d5)
+++ doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c	(revision 520fa9e26472c80c05dc91004ccb5b6373b697da)
@@ -30,12 +30,12 @@
 	edit( "hello" );			$\C{// Segmentation fault [decay here]}$
 
-	void decay( float x[10] ) {
-		static_assert( sizeof(x) == sizeof(void *) );
+	void decay( @float x[10]@ ) {
+		static_assert(@sizeof(x) == sizeof(void *)@ );
 	}
 	static_assert( sizeof(ar) == 10 * sizeof(float) );
 	decay( ar );
 
-	void no_decay( float (*px)[10] ) {
-		static_assert( sizeof(*px) == 10 * sizeof(float) );
+	void no_decay( @float (*px)[10]@ ) {
+		static_assert(@sizeof(*px) == 10 * sizeof(float)@);
 	}
 	static_assert( sizeof(*pa) == 10 * sizeof(float) );
Index: doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c
===================================================================
--- doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c	(revision d0296db634a9aed117c2b3772b0e298cd15fe6d5)
+++ doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c	(revision 520fa9e26472c80c05dc91004ccb5b6373b697da)
@@ -15,14 +15,14 @@
 int main() {
 	float ar[3][10];
-	static_assert(sizeof(float) == 4);			$\C{// floats (atomic elements) are 4 bytes}$
-	static_assert(sizeof(void*) == 8);			$\C{// pointers are 8 bytes}$
+	static_assert( sizeof(float) == 4 );	$\C{// floats (atomic elements) are 4 bytes}$
+	static_assert( sizeof(void*) == 8 );	$\C{// pointers are 8 bytes}$
 
-	static_assert(sizeof(ar) == 120);			$\C{// the array, float[3][10]}$
-	static_assert(sizeof(ar[0]) == 40);			$\C{// its first element, float[10]}$
-	static_assert(sizeof(ar[0][0]) == 4);		$\C{// its first grand element, float}$
+	static_assert( sizeof(ar) == 120 );		$\C{// the array, float[3][10]}$
+	static_assert( sizeof(ar[0]) == 40 );	$\C{// its first element, float[10]}$
+	static_assert( sizeof(ar[0][0]) == 4 );	$\C{// its first grand element, float}$
 
-	static_assert(sizeof(&(ar)) == 8);			$\C{// pointer to the array, float(*)[3][10]}$
-	static_assert(sizeof(&(ar[0])) == 8);		$\C{// pointer to its first element, float(*)[10]}$
-	static_assert(sizeof(&(ar[0][0])) == 8);	$\C{// pointer to its first grand-element, float*}$
+	static_assert( sizeof(&(ar)) == 8 );	$\C{// pointer to the array, float(*)[3][10]}$
+	static_assert( sizeof(&(ar[0])) == 8 );	$\C{// pointer to its first element, float(*)[10]}$
+	static_assert( sizeof(&(ar[0][0])) == 8 );	$\C{// pointer to its first grand-element, float*}$
 
 	float (*pa)[3][10] = &(ar);
@@ -30,6 +30,6 @@
 	float *pa00 = &(ar[0][0]);
 
-	static_assert((void*)&ar == (void*)&(ar[0] ));
-	static_assert((void*)&ar == (void*)&(ar[0][0]));
+	static_assert( (void*)&ar == (void*)&(ar[0] ) );
+	static_assert( (void*)&ar == (void*)&(ar[0][0]) );
 
 	assert( (void *) pa == (void *) pa0 );