Added gate definitions to appendix