# Quickref for J compounds

Compound |
Form |
Result |

hook | (g h) y | y g (h y) |

x (g h) y | x g (h y) | |

fork | (f g h) y | (f y) g (h y) |

x (f g h) y | (x f y) g (x h y) | |

cap | ([: g h) y | g (h y) |

x ([: g h) y | g (x h y) | |

atop | u@v y | u (v y) |

x u@v y | u (x v y) | |

at | @: as atop, but infinite rank | |

compose | u&v y | u (v y)NB. Same as atop(@) |

x u&v y | (v x) u (v y) | |

appose | &: as compose, but infinite rank | |

under | u&.v y | vi u v yNB. vi is obverse (b. _1) of v |

x u&.v y | vi (vx) u (v y) |

Advertisements

## Leave a Reply