added syntax for Alloy embedded in Ruby