El conjunto formula_23 de todas las aplicaciones anteriores constituye un [[grupo uniparamétrico]] de simplectomorfismos.