It binds a variable <<a>> in the current ring to the sm1 variable <<a>>. For example, if x is a variable in the current ring, it defines the sm1 variable x by /x (x) def
