I am trying to write all operational schemas of Linked List in Z specification using latex. I have written the following schemas of linked list in latex software. Please check that I have created right schemas or wrong. If wrong please correct. Here is the code of schemas for linked list in Latex.