String _ Sequence -- substring

Synopsis

• Usage:

  s_(i,j)

• Operator: _
• Inputs:

  • s, a string
  • (i,j), a pair of integers
• Outputs:

  • a string, the substring of s having length j and starting at the i-th character

Description

i1 : s = "I did not do that!"

o1 = I did not do that!

i2 : "." | s_(6,7) | "."

o2 = .not do .

See also

• strings and nets
• substring -- extract part of a string
• String | String -- join strings or nets