A procedure, symmetric, which takes a list as input, and returns the boolean True if the list is symmetric and False if it is not.
A list is symmetric if the first row is the same as the first column, the second row is the same as the second column and so on.