$def with (name,formats)